0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=pfc.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/282017-1169317258/unknown.xml
0.39
0.39 domains being loaded...
0.39
0.39 variables being loaded...
0.46 nbVariables=201 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.46 => wckTime=0.132 cpuTime=0.11 mem=6M910
0.46
0.46 relations being loaded...
0.46
0.46 constraints being loaded...
0.79 nbConstraints=6232 nbRelationTypes=2 nbSingletonDomainVariables=1 nbExtensionStructures=2
0.79 nbSharedExtensionStructures=6230 nbConflictsStructures=2 nbSharedConflictsStructures=6230
0.79 nbSharedBinaryRepresentations=3 maxDegree=200 maxArity=2
0.79 => wckTime=0.469 cpuTime=0.33 mem=23M488
0.89
0.89 solver LocalSearchSolver being built...
0.94 => wckTime=0.614 cpuTime=0.38 mem=8M588
0.95
0.95 s SATISFIABLE
0.95 o 4578
0.95 c 1654
0.95 o 4617
0.95 c 1615
0.95 o 4655
0.95 c 1577
0.96 o 4692
0.96 c 1540
0.96 o 4728
0.96 c 1504
0.96 o 4763
0.96 c 1469
0.96 o 4796
0.96 c 1436
0.96 o 4829
0.96 c 1403
0.97 o 4862
0.97 c 1370
0.97 o 4894
0.97 c 1338
0.97 o 4926
0.97 c 1306
0.97 o 4957
0.97 c 1275
0.97 o 4987
0.97 c 1245
0.97 o 5016
0.97 c 1216
0.97 o 5045
0.97 c 1187
0.97 o 5074
0.97 c 1158
0.97 o 5102
0.97 c 1130
0.97 o 5130
0.97 c 1102
0.97 o 5158
0.97 c 1074
0.97 o 5185
0.97 c 1047
0.98 o 5211
0.98 c 1021
0.98 o 5237
0.98 c 995
0.98 o 5263
0.98 c 969
0.98 o 5289
0.98 c 943
0.98 o 5314
0.98 c 918
0.98 o 5338
0.98 c 894
0.98 o 5362
0.98 c 870
0.98 o 5384
0.98 c 848
0.98 o 5406
0.98 c 826
0.98 o 5428
0.98 c 804
0.98 o 5449
0.98 c 783
0.98 o 5470
0.98 c 762
0.99 o 5491
0.99 c 741
0.99 o 5512
0.99 c 720
0.99 o 5532
0.99 c 700
0.99 o 5552
0.99 c 680
0.99 o 5572
0.99 c 660
0.99 o 5590
0.99 c 642
0.99 o 5608
0.99 c 624
0.99 o 5626
0.99 c 606
0.99 o 5644
0.99 c 588
0.99 o 5661
0.99 c 571
0.99 o 5678
0.99 c 554
0.99 o 5694
0.99 c 538
0.99 o 5710
0.99 c 522
0.99 o 5725
0.99 c 507
0.99 o 5740
0.99 c 492
0.99 o 5755
0.99 c 477
0.99 o 5769
0.99 c 463
1.00 o 5783
1.00 c 449
1.00 o 5796
1.00 c 436
1.00 o 5809
1.00 c 423
1.00 o 5821
1.00 c 411
1.00 o 5833
1.00 c 399
1.00 o 5845
1.00 c 387
1.00 o 5856
1.00 c 376
1.00 o 5867
1.00 c 365
1.00 o 5878
1.00 c 354
1.00 o 5889
1.00 c 343
1.00 o 5899
1.00 c 333
1.00 o 5908
1.00 c 324
1.01 o 5917
1.01 c 315
1.01 o 5926
1.01 c 306
1.01 o 5935
1.01 c 297
1.01 o 5943
1.01 c 289
1.01 o 5951
1.01 c 281
1.01 o 5959
1.01 c 273
1.01 o 5966
1.01 c 266
1.01 o 5973
1.01 c 259
1.01 o 5980
1.01 c 252
1.01 o 5987
1.01 c 245
1.01 o 5993
1.01 c 239
1.01 o 5999
1.01 c 233
1.01 o 6004
1.01 c 228
1.01 o 6008
1.01 c 224
1.01 o 6012
1.01 c 220
1.01 o 6016
1.01 c 216
1.01 o 6020
1.01 c 212
1.01 o 6024
1.01 c 208
1.02 o 6028
1.02 c 204
1.02 o 6031
1.02 c 201
1.02 o 6034
1.02 c 198
1.02 o 6036
1.02 c 196
1.02 o 6038
1.02 c 194
1.02 o 6039
1.02 c 193
1.02 o 6040
1.02 c 192
1.02 o 6041
1.02 c 191
1.02 o 6042
1.02 c 190
1.02 o 6043
1.02 c 189
1.02 o 6044
1.02 c 188
1.02 o 6045
1.03 c 187
1.03 o 6046
1.03 c 186
22.38
22.38 search
22.38 run=0 nbConstraintChecks=64804033 nbAssignments=10000
22.38 => wckTime=21.448 cpuTime=21.21 mem=8M588
31.32
31.32 search
31.32 run=1 nbConstraintChecks=92387661 nbAssignments=13848
31.32 => wckTime=30.389 cpuTime=30.08 mem=8M588
31.33
31.33 global
31.33 nbConstraintChecks=92387661 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
31.33 solvingWckTime=30.386 solvingCpuTime=30.08 expiredTime=no totalExploration=no nbFoundSolutions=0
31.33 globalCpuTime=30.52
31.33 => wckTime=31.002 cpuTime=30.46 mem=8M588
31.33
31.33 solver IterativeSystematicSolver being built...
31.48 => wckTime=31.16 cpuTime=30.58 mem=20M536
31.52
31.52 preprocessing
31.52 nbConstraintChecks=400 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
31.52 detectedInconsistency=no
31.52 => wckTime=0.032 cpuTime=0.02 mem=20M536
32.39 o 6047
32.39 c 185
32.51
32.51 search
32.51 run=0 nbConstraintChecks=1651757 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=201
32.51 nbFailedAssignments=0 nbBacktracks=189 nbVisitedNodes=212 nbRestartNogoods=0
32.51 => wckTime=1.018 cpuTime=0.97 mem=20M536
35.29
35.29 search
35.29 run=1 nbConstraintChecks=2440994 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=258
35.29 nbFailedAssignments=32 nbBacktracks=204 nbVisitedNodes=316 nbRestartNogoods=1
35.29 => wckTime=3.802 cpuTime=3.7 mem=20M536
39.69 o 6048
39.69 c 184
39.84
39.84 search
39.84 run=2 nbConstraintChecks=5049217 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=519
39.84 nbFailedAssignments=72 nbBacktracks=411 nbVisitedNodes=646 nbRestartNogoods=7
39.84 => wckTime=8.351 cpuTime=8.21 mem=20M536
44.39
44.39 search
44.39 run=3 nbConstraintChecks=6765691 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=618
44.39 nbFailedAssignments=128 nbBacktracks=444 nbVisitedNodes=834 nbRestartNogoods=9
44.39 => wckTime=12.907 cpuTime=12.72 mem=20M536
51.85
51.85 search
51.85 run=4 nbConstraintChecks=9255113 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=771
51.85 nbFailedAssignments=222 nbBacktracks=494 nbVisitedNodes=1131 nbRestartNogoods=13
51.85 => wckTime=20.363 cpuTime=20.11 mem=20M536
62.81
62.81 search
62.81 run=5 nbConstraintChecks=12994221 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=988
62.81 nbFailedAssignments=352 nbBacktracks=569 nbVisitedNodes=1553 nbRestartNogoods=18
62.81 => wckTime=31.326 cpuTime=30.98 mem=20M536
80.12
80.12 search
80.12 run=6 nbConstraintChecks=19013689 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1327
80.12 nbFailedAssignments=567 nbBacktracks=682 nbVisitedNodes=2220 nbRestartNogoods=24
80.12 => wckTime=48.632 cpuTime=48.11 mem=20M536
90.42
90.42 search
90.42 run=7 nbConstraintChecks=22703395 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=1619
90.42 nbFailedAssignments=680 nbBacktracks=854 nbVisitedNodes=2734 nbRestartNogoods=28
90.42 => wckTime=58.939 cpuTime=58.31 mem=20M536
128.62
128.62 search
128.62 run=8 nbConstraintChecks=35589304 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2364
128.62 nbFailedAssignments=1160 nbBacktracks=1110 nbVisitedNodes=4215 nbRestartNogoods=31
128.62 => wckTime=97.133 cpuTime=96.15 mem=20M536
140.98
140.98 search
140.98 run=9 nbConstraintChecks=42997361 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=2874
140.98 nbFailedAssignments=1269 nbBacktracks=1499 nbVisitedNodes=5185 nbRestartNogoods=36
140.98 => wckTime=109.496 cpuTime=108.4 mem=20M536
236.96
236.96 search
236.96 run=10 nbConstraintChecks=72106761 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=4519
236.96 nbFailedAssignments=2328 nbBacktracks=2075 nbVisitedNodes=8465 nbRestartNogoods=42
236.96 => wckTime=205.472 cpuTime=203.49 mem=20M536
352.11
352.11 search
352.11 run=11 nbConstraintChecks=111015192 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=6963
352.11 nbFailedAssignments=3900 nbBacktracks=2939 nbVisitedNodes=13345 nbRestartNogoods=48
352.11 => wckTime=320.624 cpuTime=317.59 mem=20M536
537.84
537.84 search
537.84 run=12 nbConstraintChecks=172653663 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=11185
537.84 nbFailedAssignments=6817 nbBacktracks=4236 nbVisitedNodes=21781 nbRestartNogoods=66
537.84 => wckTime=506.357 cpuTime=501.62 mem=20M536
604.69
604.69 search
604.69 run=13 nbConstraintChecks=209422432 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=13760
604.69 nbFailedAssignments=7432 nbBacktracks=6182 nbVisitedNodes=26540 nbRestartNogoods=77
604.69 => wckTime=573.201 cpuTime=567.85 mem=20M536
909.16
909.16 search
909.16 run=14 nbConstraintChecks=326506857 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=22043
909.16 nbFailedAssignments=12789 nbBacktracks=9101 nbVisitedNodes=43099 nbRestartNogoods=85
909.16 => wckTime=877.678 cpuTime=870.93 mem=20M536
1409.20
1409.20 search
1409.20 run=15 nbConstraintChecks=519813823 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=35468
1409.20 nbFailedAssignments=21827 nbBacktracks=13479 nbVisitedNodes=69907 nbRestartNogoods=94
1409.20 => wckTime=1377.712 cpuTime=1368.66 mem=20M536
1733.25 o 6049
1733.25 c 183
1816.65
1816.65 search
1816.65 run=16 nbConstraintChecks=714815306 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=48009
1816.65 nbFailedAssignments=27786 nbBacktracks=20049 nbVisitedNodes=94774 nbRestartNogoods=116
1816.65 => wckTime=1785.164 cpuTime=1774.23 mem=20M536
2341.30
2341.31 search
2341.31 run=17 nbConstraintChecks=981799719 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0 nbAssignments=66497
2341.31 nbFailedAssignments=36409 nbBacktracks=29902 nbVisitedNodes=131660 nbRestartNogoods=130
2341.31 => wckTime=2309.819 cpuTime=2296.45 mem=20M536
2414.00 v 1 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 -1
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node10/watcher-282017-1169317258 -o ROOT/results/node10/solver-282017-1169317258 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282017-1169317258/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 2.00 2/87 26025
/proc/meminfo: memFree=1176400/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=18540 CPUtime=0
/proc/26024/stat : 26024 (runsolver) R 26022 26024 25586 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 280120898 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 214919867687 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/26024/statm: 4635 279 244 17 0 2626 0
[startup+0.102281 s]
/proc/loadavg: 2.00 2.00 2.00 2/87 26025
/proc/meminfo: memFree=1176400/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=913068 CPUtime=0.08
/proc/26024/stat : 26024 (java) S 26022 26024 25586 0 -1 0 2859 0 1 0 7 1 0 0 17 0 8 0 280120898 934981632 2605 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228267 2605 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.510336 s]
/proc/loadavg: 2.00 2.00 2.00 2/87 26025
/proc/meminfo: memFree=1176400/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915332 CPUtime=0.49
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 6279 0 1 0 45 4 0 0 18 0 8 0 280120898 937299968 6018 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228833 6018 2140 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33146 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 26032
/proc/meminfo: memFree=1141016/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=1.3
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11515 0 1 0 120 10 0 0 24 0 8 0 280120898 937451520 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228870 11253 2476 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 927 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.2
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 377 0 0 0 19 1 0 0 16 0 8 0 280120906 937451520 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11253 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915480
[startup+2.96867 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26032
/proc/meminfo: memFree=1140952/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=2.92
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11517 0 1 0 275 17 0 0 25 0 8 0 280120898 937451520 11254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228870 11254 2476 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 927 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.21
/proc/26024/task/26030/stat : 26030 (java) R 26022 26024 25586 0 -1 64 378 0 0 0 20 1 0 0 16 0 8 0 280120906 937451520 11254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152994459 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11254 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915480
[startup+6.27113 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 26032
/proc/meminfo: memFree=1140824/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=6.19
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11520 0 1 0 587 32 0 0 25 0 8 0 280120898 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073840555 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228870 11257 2476 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 927 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.22
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 280120906 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915480
[startup+12.749 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26032
/proc/meminfo: memFree=1140824/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=12.6
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11520 0 1 0 1203 57 0 0 25 0 8 0 280120898 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073837800 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228870 11257 2476 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 927 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.22
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 381 0 0 0 21 1 0 0 16 0 8 0 280120906 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11257 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915480
[startup+25.6348 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26032
/proc/meminfo: memFree=1140888/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=25.38
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11522 0 1 0 2432 106 0 0 25 0 8 0 280120898 937451520 11259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073843190 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228870 11259 2476 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 927 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.22
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 383 0 0 0 21 1 0 0 17 0 8 0 280120906 937451520 11259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11259 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 915480
[startup+51.2752 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26032
/proc/meminfo: memFree=1140504/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=50.77
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11669 0 1 0 4950 127 0 0 25 0 8 0 280120898 937451520 11402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958087 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228870 11402 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.31
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 431 0 0 0 30 1 0 0 17 0 8 0 280120906 937451520 11402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11402 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 915480
[startup+102.548 s]
/proc/loadavg: 2.08 2.02 2.01 3/94 26032
/proc/meminfo: memFree=1140504/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=101.58
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11689 0 1 0 10030 128 0 0 25 0 8 0 280120898 937451520 11416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998491 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/26024/statm: 228870 11416 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.33
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 449 0 0 0 32 1 0 0 16 0 8 0 280120906 937451520 11416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11416 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.58
Current children cumulated vsize (KiB) 915480
[startup+162.579 s]
/proc/loadavg: 2.09 2.03 2.00 3/94 26034
/proc/meminfo: memFree=1140504/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=161.06
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11693 0 1 0 15977 129 0 0 25 0 8 0 280120898 937451520 11418 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998551 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2010.97
Current children cumulated vsize (KiB) 915480
[startup+2083.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26252
/proc/meminfo: memFree=1154904/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=2070.72
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11696 0 1 0 206932 140 0 0 25 0 8 0 280120898 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993809 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228870 11420 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.34
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 454 0 0 0 33 1 0 0 16 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2070.72
Current children cumulated vsize (KiB) 915480
[startup+2143.11 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26252
/proc/meminfo: memFree=1154904/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=2130.45
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11696 0 1 0 212904 141 0 0 25 0 8 0 280120898 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073861169 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228870 11420 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.34
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 454 0 0 0 33 1 0 0 16 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2130.45
Current children cumulated vsize (KiB) 915480
[startup+2203.13 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26252
/proc/meminfo: memFree=1154904/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=2190.19
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11696 0 1 0 218878 141 0 0 25 0 8 0 280120898 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228870 11420 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.34
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 454 0 0 0 33 1 0 0 16 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2190.19
Current children cumulated vsize (KiB) 915480
[startup+2263.16 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26252
/proc/meminfo: memFree=1154904/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=2249.94
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11696 0 1 0 224853 141 0 0 25 0 8 0 280120898 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073958096 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228870 11420 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.34
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 454 0 0 0 33 1 0 0 16 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2249.94
Current children cumulated vsize (KiB) 915480
[startup+2323.18 s]
/proc/loadavg: 2.00 2.00 2.00 3/94 26252
/proc/meminfo: memFree=1154904/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=2309.68
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11696 0 1 0 230827 141 0 0 25 0 8 0 280120898 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073975010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228870 11420 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.34
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 454 0 0 0 33 1 0 0 16 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2309.68
Current children cumulated vsize (KiB) 915480
[startup+2383.2 s]
/proc/loadavg: 2.00 2.00 2.00 4/94 26252
/proc/meminfo: memFree=1154840/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=2369.42
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11696 0 1 0 236801 141 0 0 25 0 8 0 280120898 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073998518 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228870 11420 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.34
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 454 0 0 0 33 1 0 0 16 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2369.42
Current children cumulated vsize (KiB) 915480
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2413.99 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 26324
/proc/meminfo: memFree=1153672/2055920 swapFree=4178232/4192956
[pid=26024] ppid=26022 vsize=915480 CPUtime=2400.05
/proc/26024/stat : 26024 (java) R 26022 26024 25586 0 -1 0 11696 0 1 0 239860 145 0 0 25 0 8 0 280120898 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073993056 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/26024/statm: 228870 11420 2528 14 0 215340 0
[pid=26024/tid=26026] ppid=26022 vsize=915480 CPUtime=0.07
/proc/26024/task/26026/stat : 26026 (java) S 26022 26024 25586 0 -1 64 928 0 0 0 7 0 0 0 16 0 8 0 280120902 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26027] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26027/stat : 26027 (java) S 26022 26024 25586 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26028] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26028/stat : 26028 (java) S 26022 26024 25586 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 280120903 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26029] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26029/stat : 26029 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26030] ppid=26022 vsize=915480 CPUtime=0.34
/proc/26024/task/26030/stat : 26030 (java) S 26022 26024 25586 0 -1 64 454 0 0 0 33 1 0 0 16 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=26024/tid=26031] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26031/stat : 26031 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=26024/tid=26032] ppid=26022 vsize=915480 CPUtime=0
/proc/26024/task/26032/stat : 26032 (java) S 26022 26024 25586 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 280120906 937451520 11420 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 915480
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2414.02
CPU time (s): 2400.08
CPU user time (s): 2398.61
CPU system time (s): 1.46678
CPU usage (%): 99.4226
Max. virtual memory (cumulated for all children) (KiB): 915588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.61
system time used= 1.46678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11715
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50185
involuntary context switches= 65319
runsolver used 2.86956 s user time and 7.83181 s system time
The end
Begin job on node10 on Sat Jan 20 18:20:58 UTC 2007
IDJOB= 282017
IDBENCH= 12348
IDSOLVER= 69
FILE ID= node10/282017-1169317258
PBS_JOBID= 3610022
Free space on /tmp= 66544 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/MaxCSP/maxclique/sanr-200-0.7_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282017-1169317258/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node10/watcher-282017-1169317258 -o ROOT/results/node10/solver-282017-1169317258 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/282017-1169317258/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= e959857fa73ba03535aaeda1cc7d01ce
RANDOM SEED= 106542660
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1176880 kB
Buffers: 61916 kB
Cached: 636804 kB
SwapCached: 2904 kB
Active: 295472 kB
Inactive: 505780 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1176880 kB
SwapTotal: 4192956 kB
SwapFree: 4178232 kB
Dirty: 2092 kB
Writeback: 0 kB
Mapped: 113704 kB
Slab: 62620 kB
Committed_AS: 7957608 kB
PageTables: 2372 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66561 MiB
End job on node10 on Sat Jan 20 19:01:12 UTC 2007