0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/210776-1168075348/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.64 nbVariables=11476 nbDomainTypes=2 minDomainSize=1 maxDomainSize=2
0.64 => wckTime=0.34 cpuTime=0.27 mem=25M611
0.64
0.64 predicates being loaded...
0.65
0.65 constraints being loaded...
4.69 nbConstraints=32242 nbMergedConstraints=847 nbSingletonDomainVariables=1 nbConvertedConstraints=21423
4.69 nbConvertConstraintsChecks=24618 nbExtensionStructures=3 nbSharedExtensionStructures=21420
4.69 nbConflictsStructures=37 nbSharedConflictsStructures=32205 nbSharedBinaryRepresentations=7
4.69 nbEvaluationManagers=34 nbSharedEvaluationManagers=10785 maxDegree=178 maxArity=11
4.69 => wckTime=4.385 cpuTime=3.66 mem=52M520
4.89
4.89 solver IterativeSystematicSolver being built...
5.63 => wckTime=5.33 cpuTime=4.25 mem=80M189
5.73
5.73 preprocessing
5.73 nbConstraintChecks=138 nbValidityChecks=8 nbPropagations=11501 nbRevisions=92 nbUselessRevisions=67
5.73 nbRemovedValues=25 detectedInconsistency=no
5.73 => wckTime=0.075 cpuTime=0.06 mem=81M198
9.60
9.60 search
9.60 run=0 nbConstraintChecks=143903 nbValidityChecks=26808 nbPropagations=35368 nbRevisions=131179
9.60 nbUselessRevisions=107107 nbAssignments=122 nbFailedAssignments=7 nbBacktracks=10 nbVisitedNodes=136
9.60 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
9.60 => wckTime=3.959 cpuTime=3.87 mem=81M198
13.50
13.50 search
13.50 run=1 nbConstraintChecks=243391 nbValidityChecks=57014 nbPropagations=88499 nbRevisions=365777
13.50 nbUselessRevisions=299731 nbAssignments=250 nbFailedAssignments=15 nbBacktracks=25 nbVisitedNodes=280
13.50 nbRestartNogoods=3 mapSize=23 nbInferences=0 nbTooLargeKeys=0
13.50 => wckTime=7.853 cpuTime=7.74 mem=82M252
17.53
17.53 search
17.53 run=2 nbConstraintChecks=330981 nbValidityChecks=83339 nbPropagations=157370 nbRevisions=690232
17.53 nbUselessRevisions=566374 nbAssignments=382 nbFailedAssignments=21 nbBacktracks=47 nbVisitedNodes=424
17.53 nbRestartNogoods=6 mapSize=33 nbInferences=0 nbTooLargeKeys=0
17.53 => wckTime=11.884 cpuTime=11.74 mem=82M252
21.67
21.67 search
21.67 run=3 nbConstraintChecks=454974 nbValidityChecks=121399 nbPropagations=248288 nbRevisions=1145716
21.67 nbUselessRevisions=941778 nbAssignments=521 nbFailedAssignments=33 nbBacktracks=82 nbVisitedNodes=587
21.67 nbRestartNogoods=8 mapSize=56 nbInferences=0 nbTooLargeKeys=0
21.67 => wckTime=16.03 cpuTime=15.85 mem=82M252
26.95
26.95 search
26.95 run=4 nbConstraintChecks=624475 nbValidityChecks=174502 nbPropagations=368817 nbRevisions=1783440
26.95 nbUselessRevisions=1469042 nbAssignments=703 nbFailedAssignments=58 nbBacktracks=133 nbVisitedNodes=814
26.95 nbRestartNogoods=9 mapSize=98 nbInferences=0 nbTooLargeKeys=0
26.95 => wckTime=21.302 cpuTime=21.08 mem=83M261
32.66
32.66 search
32.66 run=5 nbConstraintChecks=768128 nbValidityChecks=225798 nbPropagations=514017 nbRevisions=2582437
32.66 nbUselessRevisions=2131040 nbAssignments=902 nbFailedAssignments=87 nbBacktracks=208 nbVisitedNodes=1070
32.66 nbRestartNogoods=12 mapSize=152 nbInferences=0 nbTooLargeKeys=0
32.66 => wckTime=27.018 cpuTime=26.72 mem=83M261
39.74
39.74 search
39.74 run=6 nbConstraintChecks=913849 nbValidityChecks=284985 nbPropagations=683890 nbRevisions=3554813
39.74 nbUselessRevisions=2938733 nbAssignments=1159 nbFailedAssignments=132 nbBacktracks=325 nbVisitedNodes=1414
39.74 nbRestartNogoods=15 mapSize=236 nbInferences=0 nbTooLargeKeys=0
39.74 => wckTime=34.098 cpuTime=33.78 mem=84M269
46.49
46.49 search
46.49 run=7 nbConstraintChecks=1033602 nbValidityChecks=326758 nbPropagations=873809 nbRevisions=4650411
46.49 nbUselessRevisions=3848435 nbAssignments=1391 nbFailedAssignments=161 nbBacktracks=520 nbVisitedNodes=1708
46.49 nbRestartNogoods=18 mapSize=297 nbInferences=0 nbTooLargeKeys=0
46.49 => wckTime=40.844 cpuTime=40.5 mem=84M269
56.98
56.98 search
56.98 run=8 nbConstraintChecks=2695742 nbValidityChecks=738371 nbPropagations=1345448 nbRevisions=7349626
56.98 nbUselessRevisions=6058903 nbAssignments=1810 nbFailedAssignments=242 nbBacktracks=776 nbVisitedNodes=2304
56.98 nbRestartNogoods=19 mapSize=469 nbInferences=0 nbTooLargeKeys=0
56.98 => wckTime=51.34 cpuTime=50.94 mem=86M286
72.38
72.38 search
72.38 run=9 nbConstraintChecks=4200319 nbValidityChecks=1137408 nbPropagations=2074901 nbRevisions=11528372
72.38 nbUselessRevisions=9468701 nbAssignments=2408 nbFailedAssignments=327 nbBacktracks=1173 nbVisitedNodes=3085
72.38 nbRestartNogoods=24 mapSize=649 nbInferences=0 nbTooLargeKeys=0
72.38 => wckTime=66.74 cpuTime=66.27 mem=88M303
93.31
93.31 search
93.31 run=10 nbConstraintChecks=4536058 nbValidityChecks=1249090 nbPropagations=2867933 nbRevisions=16060363
93.31 nbUselessRevisions=13164486 nbAssignments=3191 nbFailedAssignments=406 nbBacktracks=1755 nbVisitedNodes=3984
93.31 nbRestartNogoods=27 mapSize=760 nbInferences=0 nbTooLargeKeys=0
93.31 => wckTime=87.668 cpuTime=87.08 mem=90M320
116.57
116.57 INFO : Stopping hyperNogood (mapSize=1008, nbTooLargekeys=0, mem=93M346)
117.65
117.65 search
117.65 run=11 nbConstraintChecks=5279154 nbValidityChecks=1468890 nbPropagations=3792808 nbRevisions=21315198
117.65 nbUselessRevisions=17438954 nbAssignments=4271 nbFailedAssignments=543 nbBacktracks=2667 nbVisitedNodes=5339
117.65 nbRestartNogoods=32
117.65 => wckTime=112.003 cpuTime=111.32 mem=93M346
127.45
127.45 search
127.45 run=12 nbConstraintChecks=6658526 nbValidityChecks=1877444 nbPropagations=4952821 nbRevisions=27948410
127.45 nbUselessRevisions=22839438 nbAssignments=5821 nbFailedAssignments=675 nbBacktracks=3980 nbVisitedNodes=7157
127.45 nbRestartNogoods=34
127.45 => wckTime=121.806 cpuTime=121.06 mem=94M354
140.74
140.74 search
140.74 run=13 nbConstraintChecks=7979383 nbValidityChecks=2277372 nbPropagations=6334172 nbRevisions=35923974
140.74 nbUselessRevisions=29347426 nbAssignments=8096 nbFailedAssignments=885 nbBacktracks=5978 nbVisitedNodes=9786
140.74 nbRestartNogoods=39
140.74 => wckTime=135.101 cpuTime=134.29 mem=94M354
162.72
162.72 search
162.72 run=14 nbConstraintChecks=10951115 nbValidityChecks=3294747 nbPropagations=8181804 nbRevisions=46690415
162.72 nbUselessRevisions=38128474 nbAssignments=11544 nbFailedAssignments=1283 nbBacktracks=8921 nbVisitedNodes=13962
162.72 nbRestartNogoods=40
162.72 => wckTime=157.073 cpuTime=156.16 mem=94M354
191.57
191.57 search
191.57 run=15 nbConstraintChecks=12614040 nbValidityChecks=3985738 nbPropagations=10300945 nbRevisions=59214279
191.57 nbUselessRevisions=48383232 nbAssignments=16866 nbFailedAssignments=1932 nbBacktracks=13351
191.57 nbVisitedNodes=20650 nbRestartNogoods=45
191.57 => wckTime=185.925 cpuTime=184.89 mem=94M354
233.07
233.07 search
233.07 run=16 nbConstraintChecks=14857844 nbValidityChecks=5176954 nbPropagations=12718155 nbRevisions=73925431
233.07 nbUselessRevisions=60504096 nbAssignments=24458 nbFailedAssignments=2768 nbBacktracks=19922
233.07 nbVisitedNodes=30044 nbRestartNogoods=54
233.07 => wckTime=227.423 cpuTime=226.2 mem=94M354
298.61
298.61 search
298.61 run=17 nbConstraintChecks=23227557 nbValidityChecks=7988890 nbPropagations=16623467 nbRevisions=97073084
298.61 nbUselessRevisions=79528267 nbAssignments=35147 nbFailedAssignments=3419 nbBacktracks=29832
298.61 nbVisitedNodes=42167 nbRestartNogoods=62
298.61 => wckTime=292.969 cpuTime=291.43 mem=94M354
392.45
392.45 search
392.45 run=18 nbConstraintChecks=33198914 nbValidityChecks=12212329 nbPropagations=22302982 nbRevisions=131314848
392.45 nbUselessRevisions=107800466 nbAssignments=50904 nbFailedAssignments=4254 nbBacktracks=44614
392.45 nbVisitedNodes=59964 nbRestartNogoods=67
392.45 => wckTime=386.81 cpuTime=384.84 mem=94M354
538.56
538.56 search
538.56 run=19 nbConstraintChecks=52899800 nbValidityChecks=18083173 nbPropagations=31518350 nbRevisions=184706287
538.56 nbUselessRevisions=151456702 nbAssignments=74455 nbFailedAssignments=5507 nbBacktracks=66783
538.56 nbVisitedNodes=85996 nbRestartNogoods=74
538.56 => wckTime=532.916 cpuTime=530.3 mem=94M354
733.37
733.37 search
733.37 run=20 nbConstraintChecks=68063647 nbValidityChecks=23427232 nbPropagations=43447967 nbRevisions=254015826
733.37 nbUselessRevisions=208129917 nbAssignments=109839 nbFailedAssignments=7467 nbBacktracks=100074
733.37 nbVisitedNodes=125254 nbRestartNogoods=79
733.37 => wckTime=727.731 cpuTime=724.21 mem=94M354
1009.21
1009.21 search
1009.21 run=21 nbConstraintChecks=83190251 nbValidityChecks=29362225 nbPropagations=58028536 nbRevisions=339050949
1009.21 nbUselessRevisions=277720752 nbAssignments=162059 nbFailedAssignments=9654 nbBacktracks=150017
1009.21 nbVisitedNodes=181900 nbRestartNogoods=89
1009.21 => wckTime=1003.563 cpuTime=998.79 mem=94M354
1432.26
1432.26 search
1432.26 run=22 nbConstraintChecks=111038524 nbValidityChecks=39533334 nbPropagations=77572377 nbRevisions=452804131
1432.26 nbUselessRevisions=370806246 nbAssignments=240634 nbFailedAssignments=13300 nbBacktracks=224847
1432.26 nbVisitedNodes=267687 nbRestartNogoods=95
1432.26 => wckTime=1426.613 cpuTime=1419.89 mem=94M354
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-210776-1168075348 -o ROOT/results/node50/solver-210776-1168075348 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210776-1168075348/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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.01 1.83 5/80 1598
/proc/meminfo: memFree=1357320/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=18540 CPUtime=0
/proc/1597/stat : 1597 (runsolver) R 1595 1597 963 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155933371 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/1597/statm: 4635 279 244 17 0 2626 0
[startup+0.10266 s]
/proc/loadavg: 2.00 2.01 1.83 5/80 1598
/proc/meminfo: memFree=1357320/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=914988 CPUtime=0.08
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 2988 0 1 0 6 2 0 0 25 0 8 0 155933371 936947712 2734 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228747 2734 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510725 s]
/proc/loadavg: 2.00 2.01 1.83 5/80 1598
/proc/meminfo: memFree=1357320/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915328 CPUtime=0.49
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 6654 0 1 0 44 5 0 0 25 0 8 0 155933371 937295872 6393 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228832 6393 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33987 s]
/proc/loadavg: 2.00 2.01 1.83 4/87 1605
/proc/meminfo: memFree=1293840/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915616 CPUtime=1.3
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 19786 0 1 0 118 12 0 0 25 0 8 0 155933371 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228904 19523 2158 14 0 215374 0
[pid=1597/tid=1599] ppid=1595 vsize=915616 CPUtime=0.11
/proc/1597/task/1599/stat : 1599 (java) R 1595 1597 963 0 -1 64 3241 0 0 0 10 1 0 0 16 0 8 0 155933375 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4153827336 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933375 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915616 CPUtime=0.15
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 414 0 0 0 15 0 0 0 16 0 8 0 155933379 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915616 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937590784 19523 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915616
[startup+2.97813 s]
/proc/loadavg: 2.00 2.01 1.83 3/87 1605
/proc/meminfo: memFree=1277584/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915620 CPUtime=2.94
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 22252 0 1 0 229 65 0 0 25 0 8 0 155933371 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228905 21987 2178 14 0 215375 0
[pid=1597/tid=1599] ppid=1595 vsize=915620 CPUtime=0.23
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 5626 0 0 0 21 2 0 0 16 0 8 0 155933375 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155933375 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915620 CPUtime=0.18
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 432 0 0 0 18 0 0 0 15 0 8 0 155933379 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915620 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937594880 21987 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915620
[startup+6.27567 s]
/proc/loadavg: 2.00 2.01 1.83 3/87 1605
/proc/meminfo: memFree=1235536/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=6.2
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33127 0 1 0 480 140 0 0 25 0 8 0 155933371 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074244287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32794 2527 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.34
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 528 0 0 0 33 1 0 0 15 0 8 0 155933379 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32794 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915872
[startup+12.7537 s]
/proc/loadavg: 2.00 2.01 1.83 3/87 1605
/proc/meminfo: memFree=1235480/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=12.63
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33138 0 1 0 1123 140 0 0 25 0 8 0 155933371 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074181091 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32803 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.35
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 533 0 0 0 34 1 0 0 15 0 8 0 155933379 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32803 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 915872
[startup+25.6098 s]
/proc/loadavg: 2.00 2.00 1.83 3/87 1605
/proc/meminfo: memFree=1235608/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=25.39
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33141 0 1 0 2399 140 0 0 25 0 8 0 155933371 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074244270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32804 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.36
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 535 0 0 0 34 2 0 0 16 0 8 0 155933379 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32804 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 915872
[startup+51.22 s]
/proc/loadavg: 1.86 1.97 1.82 3/87 1669
/proc/meminfo: memFree=1275280/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=50.86
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33154 0 1 0 4944 142 0 0 25 0 8 0 155933371 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480192 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32813 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.38
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 544 0 0 0 36 2 0 0 15 0 8 0 155933379 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32813 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915872
[startup+102.446 s]
/proc/loadavg: 1.94 1.97 1.83 3/87 1669
/proc/meminfo: memFree=1275408/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=101.85
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33169 0 1 0 10043 142 0 0 25 0 8 0 155933371 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074244270 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32820 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 553 0 0 0 38 2 0 0 17 0 8 0 155933379 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 915872
[startup+162.512 s]
/proc/loadavg: 2.01 1.99 1.84 3/87 1669
/proc/meminfo: memFree=1275408/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=161.65
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33171 0 1 0 16023 142 0 0 25 0 8 0 155933371 937852928 32820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074316350 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1417.35
Current children cumulated vsize (KiB) 915872
[startup+1484.08 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 1727
/proc/meminfo: memFree=1280024/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1477.15
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 147570 145 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074174051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1477.15
Current children cumulated vsize (KiB) 915872
[startup+1544.14 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 1727
/proc/meminfo: memFree=1279960/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1536.95
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 153550 145 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074258557 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1536.95
Current children cumulated vsize (KiB) 915872
[startup+1604.21 s]
/proc/loadavg: 2.00 1.99 1.91 3/87 1727
/proc/meminfo: memFree=1279896/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1596.73
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 159528 145 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074206715 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1596.73
Current children cumulated vsize (KiB) 915872
[startup+1664.29 s]
/proc/loadavg: 2.13 2.02 1.93 3/87 1727
/proc/meminfo: memFree=1279896/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1656.54
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 165508 146 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073480195 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1656.54
Current children cumulated vsize (KiB) 915872
[startup+1724.36 s]
/proc/loadavg: 2.09 2.03 1.93 3/87 1727
/proc/meminfo: memFree=1279896/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1716.35
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 171489 146 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074260378 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1716.35
Current children cumulated vsize (KiB) 915872
[startup+1784.44 s]
/proc/loadavg: 2.10 2.04 1.94 3/87 1727
/proc/meminfo: memFree=1279832/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1776.14
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 177468 146 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074210287 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1776.14
Current children cumulated vsize (KiB) 915872
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1808.51 s]
/proc/loadavg: 2.06 2.03 1.94 3/87 1727
/proc/meminfo: memFree=1279832/2055920 swapFree=4192812/4192956
[pid=1597] ppid=1595 vsize=915872 CPUtime=1800.1
/proc/1597/stat : 1597 (java) R 1595 1597 963 0 -1 0 33175 0 1 0 179864 146 0 0 25 0 8 0 155933371 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074174051 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/1597/statm: 228968 32822 2530 14 0 215438 0
[pid=1597/tid=1599] ppid=1595 vsize=915872 CPUtime=0.77
/proc/1597/task/1599/stat : 1599 (java) S 1595 1597 963 0 -1 64 15982 0 0 0 71 6 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1600] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1600/stat : 1600 (java) S 1595 1597 963 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1601] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1601/stat : 1601 (java) S 1595 1597 963 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155933375 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1602] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1602/stat : 1602 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1603] ppid=1595 vsize=915872 CPUtime=0.4
/proc/1597/task/1603/stat : 1603 (java) S 1595 1597 963 0 -1 64 555 0 0 0 38 2 0 0 16 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1604] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1604/stat : 1604 (java) S 1595 1597 963 0 -1 64 0 0 0 0 0 0 0 0 24 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1597/tid=1605] ppid=1595 vsize=915872 CPUtime=0
/proc/1597/task/1605/stat : 1605 (java) S 1595 1597 963 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155933379 937852928 32822 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 915872
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1808.55
CPU time (s): 1800.15
CPU user time (s): 1798.66
CPU system time (s): 1.48777
CPU usage (%): 99.5354
Max. virtual memory (cumulated for all children) (KiB): 915992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.66
system time used= 1.48777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33191
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= 38460
involuntary context switches= 63774
runsolver used 1.9437 s user time and 4.49332 s system time
The end
Begin job on node50 on Sat Jan 6 09:22:28 UTC 2007
IDJOB= 210776
IDBENCH= 4645
FILE ID= node50/210776-1168075348
PBS_JOBID= 3475998
Free space on /tmp= 66538 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/uclid/ooo-rf9.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210776-1168075348/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-210776-1168075348 -o ROOT/results/node50/solver-210776-1168075348 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210776-1168075348/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1fdc375fa3bc4f7f4fc21722cb153d83
RANDOM SEED= 775414133
TIME LIMIT= 1800 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.263
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 : 5931.00
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.263
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: 1357608 kB
Buffers: 36692 kB
Cached: 442980 kB
SwapCached: 0 kB
Active: 210988 kB
Inactive: 408240 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1357608 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6472 kB
Writeback: 0 kB
Mapped: 159772 kB
Slab: 64052 kB
Committed_AS: 4076536 kB
PageTables: 2116 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= 66544 MiB
End job on node50 on Sat Jan 6 09:52:37 UTC 2007