0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/203520-1168073091/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=59 nbDomainTypes=1 minDomainSize=26 maxDomainSize=26
0.43 => wckTime=0.108 cpuTime=0.1 mem=6M951
0.43
0.43 relations being loaded...
0.62
0.62 constraints being loaded...
0.80 nbConstraints=549 nbRelationTypes=549 nbExtensionStructures=549 nbSharedExtensionStructures=0
0.80 nbConflictsStructures=549 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=912 maxDegree=29
0.80 maxArity=2
0.80 => wckTime=0.481 cpuTime=0.38 mem=21M581
0.85
0.85 solver IterativeSystematicSolver being built...
1.02 => wckTime=0.699 cpuTime=0.51 mem=15M859
1.03
1.03 preprocessing
1.03 nbConstraintChecks=0 nbPropagations=59 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.03 detectedInconsistency=no
1.03 => wckTime=0.011 cpuTime=0.01 mem=15M859
1.09
1.09 search
1.09 run=0 nbConstraintChecks=66121 nbPropagations=730 nbRevisions=8815 nbUselessRevisions=7383 nbAssignments=33
1.09 nbFailedAssignments=8 nbBacktracks=12 nbVisitedNodes=47 nbRestartNogoods=0 mapSize=9 nbInferences=0
1.09 nbTooLargeKeys=0
1.09 => wckTime=0.067 cpuTime=0.05 mem=15M859
1.11
1.11 search
1.11 run=1 nbConstraintChecks=136847 nbPropagations=2202 nbRevisions=27315 nbUselessRevisions=22841
1.11 nbAssignments=67 nbFailedAssignments=16 nbBacktracks=27 nbVisitedNodes=98 nbRestartNogoods=2 mapSize=21
1.11 nbInferences=0 nbTooLargeKeys=0
1.11 => wckTime=0.09 cpuTime=0.06 mem=15M859
1.14
1.14 search
1.14 run=2 nbConstraintChecks=233754 nbPropagations=4743 nbRevisions=60505 nbUselessRevisions=50563
1.14 nbAssignments=115 nbFailedAssignments=28 nbBacktracks=50 nbVisitedNodes=171 nbRestartNogoods=4 mapSize=38
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.12 cpuTime=0.09 mem=15M859
1.17
1.17 search
1.17 run=3 nbConstraintChecks=363413 nbPropagations=8732 nbRevisions=114360 nbUselessRevisions=95406
1.17 nbAssignments=182 nbFailedAssignments=50 nbBacktracks=85 nbVisitedNodes=277 nbRestartNogoods=6 mapSize=70
1.17 nbInferences=0 nbTooLargeKeys=0
1.17 => wckTime=0.147 cpuTime=0.11 mem=15M859
1.20
1.20 search
1.20 run=4 nbConstraintChecks=557596 nbPropagations=14695 nbRevisions=197030 nbUselessRevisions=163725
1.20 nbAssignments=277 nbFailedAssignments=80 nbBacktracks=137 nbVisitedNodes=430 nbRestartNogoods=8 mapSize=113
1.20 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.18 cpuTime=0.14 mem=15M859
1.25
1.25 search
1.25 run=5 nbConstraintChecks=825950 nbPropagations=23509 nbRevisions=322373 nbUselessRevisions=267053
1.25 nbAssignments=406 nbFailedAssignments=120 nbBacktracks=213 nbVisitedNodes=643 nbRestartNogoods=12 mapSize=174
1.25 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.231 cpuTime=0.19 mem=15M859
1.33
1.33 search
1.33 run=6 nbConstraintChecks=1270130 nbPropagations=36887 nbRevisions=516880 nbUselessRevisions=426843
1.33 nbAssignments=621 nbFailedAssignments=206 nbBacktracks=329 nbVisitedNodes=1004 nbRestartNogoods=16 mapSize=268
1.33 nbInferences=0 nbTooLargeKeys=0
1.33 => wckTime=0.305 cpuTime=0.26 mem=15M859
1.42
1.42 search
1.42 run=7 nbConstraintChecks=1784886 nbPropagations=56036 nbRevisions=797473 nbUselessRevisions=657328
1.42 nbAssignments=904 nbFailedAssignments=303 nbBacktracks=500 nbVisitedNodes=1463 nbRestartNogoods=23 mapSize=396
1.42 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.396 cpuTime=0.35 mem=15M859
1.57
1.57 search
1.57 run=8 nbConstraintChecks=2636947 nbPropagations=84401 nbRevisions=1221836 nbUselessRevisions=1006327
1.57 nbAssignments=1325 nbFailedAssignments=455 nbBacktracks=756 nbVisitedNodes=2174 nbRestartNogoods=26
1.57 mapSize=606 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.544 cpuTime=0.49 mem=15M859
1.78
1.78 search
1.78 run=9 nbConstraintChecks=3855550 nbPropagations=125525 nbRevisions=1837357 nbUselessRevisions=1510706
1.78 nbAssignments=1924 nbFailedAssignments=658 nbBacktracks=1141 nbVisitedNodes=3168 nbRestartNogoods=29
1.78 mapSize=908 nbInferences=0 nbTooLargeKeys=0
1.78 => wckTime=0.753 cpuTime=0.68 mem=15M859
1.85
1.85 INFO : Stopping hyperNogood (mapSize=1002, nbTooLargekeys=0, mem=15M859)
2.10
2.10 search
2.10 run=10 nbConstraintChecks=5910900 nbPropagations=188070 nbRevisions=2802522 nbUselessRevisions=2303059
2.10 nbAssignments=2880 nbFailedAssignments=1025 nbBacktracks=1718 nbVisitedNodes=4808 nbRestartNogoods=34
2.10 => wckTime=1.078 cpuTime=0.99 mem=15M859
2.55
2.55 search
2.55 run=11 nbConstraintChecks=8891851 nbPropagations=283800 nbRevisions=4288490 nbUselessRevisions=3524014
2.55 nbAssignments=4359 nbFailedAssignments=1626 nbBacktracks=2583 nbVisitedNodes=7375 nbRestartNogoods=42
2.55 => wckTime=1.531 cpuTime=1.43 mem=15M859
3.19
3.19 search
3.19 run=12 nbConstraintChecks=13203023 nbPropagations=425320 nbRevisions=6489557 nbUselessRevisions=5329462
3.19 nbAssignments=6468 nbFailedAssignments=2427 nbBacktracks=3880 nbVisitedNodes=10972 nbRestartNogoods=50
3.19 => wckTime=2.167 cpuTime=2.06 mem=15M859
4.08
4.08 search
4.08 run=13 nbConstraintChecks=19230591 nbPropagations=633656 nbRevisions=9725558 nbUselessRevisions=7981905
4.08 nbAssignments=9608 nbFailedAssignments=3606 nbBacktracks=5826 nbVisitedNodes=16316 nbRestartNogoods=55
4.08 => wckTime=3.063 cpuTime=2.95 mem=15M859
5.69
5.69 search
5.69 run=14 nbConstraintChecks=30681250 nbPropagations=951827 nbRevisions=14755526 nbUselessRevisions=12097527
5.69 nbAssignments=14567 nbFailedAssignments=5632 nbBacktracks=8747 nbVisitedNodes=24888 nbRestartNogoods=63
5.69 => wckTime=4.668 cpuTime=4.55 mem=16M834
7.68
7.68 search
7.68 run=15 nbConstraintChecks=43832386 nbPropagations=1420142 nbRevisions=22094313 nbUselessRevisions=18102906
7.68 nbAssignments=21654 nbFailedAssignments=8324 nbBacktracks=13125 nbVisitedNodes=36941 nbRestartNogoods=73
7.68 => wckTime=6.662 cpuTime=6.52 mem=16M834
11.21
11.21 search
11.21 run=16 nbConstraintChecks=69018431 nbPropagations=2139647 nbRevisions=33498556 nbUselessRevisions=27435440
11.21 nbAssignments=32619 nbFailedAssignments=12708 nbBacktracks=19694 nbVisitedNodes=55890 nbRestartNogoods=86
11.21 => wckTime=10.187 cpuTime=10.02 mem=16M834
16.13
16.13 search
16.13 run=17 nbConstraintChecks=102580622 nbPropagations=3218783 nbRevisions=50624095 nbUselessRevisions=41462403
16.13 nbAssignments=48901 nbFailedAssignments=19126 nbBacktracks=29547 nbVisitedNodes=83896 nbRestartNogoods=97
16.13 => wckTime=15.111 cpuTime=14.9 mem=16M834
23.51
23.51 search
23.51 run=18 nbConstraintChecks=153525531 nbPropagations=4832616 nbRevisions=76216601 nbUselessRevisions=62418217
23.51 nbAssignments=73112 nbFailedAssignments=28544 nbBacktracks=44327 nbVisitedNodes=125490 nbRestartNogoods=107
23.51 => wckTime=22.493 cpuTime=22.21 mem=16M834
34.71
34.71 search
34.71 run=19 nbConstraintChecks=230455606 nbPropagations=7257817 nbRevisions=114726328 nbUselessRevisions=93977128
34.71 nbAssignments=109589 nbFailedAssignments=42838 nbBacktracks=66497 nbVisitedNodes=188287 nbRestartNogoods=117
34.71 => wckTime=33.684 cpuTime=33.3 mem=16M834
50.01
50.01 search
50.01 run=20 nbConstraintChecks=332395386 nbPropagations=10828774 nbRevisions=171129461 nbUselessRevisions=140226315
50.02 nbAssignments=163491 nbFailedAssignments=63474 nbBacktracks=99749 nbVisitedNodes=279967 nbRestartNogoods=124
50.02 => wckTime=48.993 cpuTime=48.46 mem=16M834
74.78
74.78 search
74.78 run=21 nbConstraintChecks=505001017 nbPropagations=16199253 nbRevisions=255549041 nbUselessRevisions=209297389
74.78 nbAssignments=244669 nbFailedAssignments=94761 nbBacktracks=149629 nbVisitedNodes=418740 nbRestartNogoods=139
74.78 => wckTime=73.761 cpuTime=73.0 mem=16M834
108.22
108.23 search
108.23 run=22 nbConstraintChecks=729057354 nbPropagations=24069866 nbRevisions=378435565 nbUselessRevisions=309784198
108.23 nbAssignments=364777 nbFailedAssignments=140039 nbBacktracks=224447 nbVisitedNodes=622020 nbRestartNogoods=149
108.23 => wckTime=107.203 cpuTime=106.14 mem=16M834
164.23
164.23 search
164.23 run=23 nbConstraintChecks=1113092886 nbPropagations=35965305 nbRevisions=566718474 nbUselessRevisions=464114441
164.23 nbAssignments=548303 nbFailedAssignments=211326 nbBacktracks=336675 nbVisitedNodes=936716 nbRestartNogoods=166
164.23 => wckTime=163.207 cpuTime=161.63 mem=16M834
243.95
243.95 search
243.95 run=24 nbConstraintChecks=1664477218 nbPropagations=53698073 nbRevisions=847100002 nbUselessRevisions=693865504
243.95 nbAssignments=818625 nbFailedAssignments=313293 nbBacktracks=505019 nbVisitedNodes=1397480 nbRestartNogoods=181
243.95 => wckTime=242.928 cpuTime=240.64 mem=16M834
367.29
367.29 search
367.29 run=25 nbConstraintChecks=2473399262 nbPropagations=80478882 nbRevisions=1276066593
367.29 nbUselessRevisions=1046847531 nbAssignments=1238066 nbFailedAssignments=480206 nbBacktracks=757530
367.29 nbVisitedNodes=2122629 nbRestartNogoods=197
367.29 => wckTime=366.266 cpuTime=362.85 mem=16M834
553.98
553.98 search
553.98 run=26 nbConstraintChecks=3744971906 nbPropagations=120719511 nbRevisions=1921685738
553.98 nbUselessRevisions=1578147964 nbAssignments=1852775 nbFailedAssignments=716134 nbBacktracks=1136299
553.98 nbVisitedNodes=3175946 nbRestartNogoods=213
553.98 => wckTime=552.954 cpuTime=547.84 mem=16M834
832.60
832.60 search
832.60 run=27 nbConstraintChecks=5634792132 nbPropagations=181279036 nbRevisions=2889943222
832.60 nbUselessRevisions=2374282120 nbAssignments=2791522 nbFailedAssignments=1086720 nbBacktracks=1704450
832.60 nbVisitedNodes=4790306 nbRestartNogoods=231
832.60 => wckTime=831.581 cpuTime=823.93 mem=16M834
1201.80
1201.80 search
1201.80 run=28 nbConstraintChecks=8345634024 nbPropagations=270964749 nbRevisions=4314371936
1201.80 nbUselessRevisions=3544181355 nbAssignments=4152133 nbFailedAssignments=1595094 nbBacktracks=2556679
1201.80 nbVisitedNodes=7103883 nbRestartNogoods=245
1201.80 => wckTime=1200.779 cpuTime=1191.66 mem=16M834
1779.53
1779.53 search
1779.53 run=29 nbConstraintChecks=12496801201 nbPropagations=405727885 nbRevisions=6451616672
1779.53 nbUselessRevisions=5298679739 nbAssignments=6244361 nbFailedAssignments=2408972 nbBacktracks=3835021
1779.53 nbVisitedNodes=10690147 nbRestartNogoods=252
1779.53 => wckTime=1778.505 cpuTime=1763.99 mem=16M834
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node17/watcher-203520-1168073091 -o ROOT/results/node17/solver-203520-1168073091 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203520-1168073091/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.98 4/93 10977
/proc/meminfo: memFree=1584816/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=18540 CPUtime=0
/proc/10976/stat : 10976 (runsolver) R 10974 10976 10909 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155703905 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 245482712359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/10976/statm: 4635 279 244 17 0 2626 0
[startup+0.103853 s]
/proc/loadavg: 2.00 2.01 1.98 4/93 10977
/proc/meminfo: memFree=1584816/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=914988 CPUtime=0.08
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 2956 0 1 0 7 1 0 0 19 0 8 0 155703905 936947712 2702 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4153548652 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228747 2702 1415 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.511894 s]
/proc/loadavg: 2.00 2.01 1.98 4/93 10977
/proc/meminfo: memFree=1584816/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915328 CPUtime=0.49
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 6894 0 1 0 45 4 0 0 18 0 8 0 155703905 937295872 6633 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073572356 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228832 6633 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33298 s]
/proc/loadavg: 2.08 2.03 1.99 3/100 10984
/proc/meminfo: memFree=1552184/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=1.3
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10871 0 1 0 123 7 0 0 24 0 8 0 155703905 937533440 10609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879257 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228890 10609 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.22
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 390 0 0 0 21 1 0 0 15 0 8 0 155703913 937533440 10609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10609 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10609 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) 915560
[startup+2.97015 s]
/proc/loadavg: 2.08 2.03 1.99 3/100 10984
/proc/meminfo: memFree=1552056/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=2.92
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10887 0 1 0 285 7 0 0 25 0 8 0 155703905 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073862085 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228890 10624 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 17 0 8 0 155703909 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.25
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 405 0 0 0 24 1 0 0 15 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10624 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) 915560
[startup+6.17348 s]
/proc/loadavg: 2.07 2.03 1.99 3/100 10984
/proc/meminfo: memFree=1551992/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=6.09
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10889 0 1 0 602 7 0 0 25 0 8 0 155703905 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868912 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228890 10624 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.25
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 915560
[startup+12.6422 s]
/proc/loadavg: 2.07 2.02 1.99 3/100 10984
/proc/meminfo: memFree=1552056/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=12.5
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10889 0 1 0 1243 7 0 0 25 0 8 0 155703905 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852343 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228890 10624 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.25
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.5
Current children cumulated vsize (KiB) 915560
[startup+25.5115 s]
/proc/loadavg: 2.06 2.02 1.99 3/100 10984
/proc/meminfo: memFree=1552120/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=25.25
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10889 0 1 0 2518 7 0 0 25 0 8 0 155703905 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877607 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228890 10624 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.25
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 406 0 0 0 24 1 0 0 16 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10624 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 915560
[startup+51.1292 s]
/proc/loadavg: 2.03 2.02 1.99 3/100 10984
/proc/meminfo: memFree=1552184/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=50.64
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10892 0 1 0 5056 8 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879243 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 915560
[startup+102.352 s]
/proc/loadavg: 2.01 2.02 1.99 3/100 10984
/proc/meminfo: memFree=1552248/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=101.39
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10892 0 1 0 10131 8 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.39
Current children cumulated vsize (KiB) 915560
[startup+162.42 s]
/proc/loadavg: 2.00 2.01 1.99 3/100 10984
/proc/meminfo: memFree=1552248/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=160.92
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10892 0 1 0 16083 9 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073860099 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1412.49
Current children cumulated vsize (KiB) 915560
[startup+1483.58 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11240
/proc/meminfo: memFree=1479616/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=1471.97
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10893 0 1 0 147168 29 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073857128 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1471.97
Current children cumulated vsize (KiB) 915560
[startup+1543.63 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11240
/proc/meminfo: memFree=1479680/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=1531.45
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10893 0 1 0 153116 29 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073879289 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1531.45
Current children cumulated vsize (KiB) 915560
[startup+1603.67 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11240
/proc/meminfo: memFree=1479616/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=1590.9
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10893 0 1 0 159060 30 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073877467 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1590.9
Current children cumulated vsize (KiB) 915560
[startup+1663.72 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11240
/proc/meminfo: memFree=1479680/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=1650.38
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10893 0 1 0 165008 30 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073868843 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1650.38
Current children cumulated vsize (KiB) 915560
[startup+1723.76 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11240
/proc/meminfo: memFree=1479616/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=1709.85
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10893 0 1 0 170955 30 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073900489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1709.85
Current children cumulated vsize (KiB) 915560
[startup+1783.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11240
/proc/meminfo: memFree=1479680/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=1769.31
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10893 0 1 0 176900 31 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073852343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1769.31
Current children cumulated vsize (KiB) 915560
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1814.87 s]
/proc/loadavg: 2.00 2.00 2.00 3/100 11240
/proc/meminfo: memFree=1479616/2055920 swapFree=4192812/4192956
[pid=10976] ppid=10974 vsize=915560 CPUtime=1800.09
/proc/10976/stat : 10976 (java) R 10974 10976 10909 0 -1 0 10893 0 1 0 179978 31 0 0 25 0 8 0 155703905 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073854849 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10976/statm: 228890 10626 2513 14 0 215360 0
[pid=10976/tid=10978] ppid=10974 vsize=915560 CPUtime=0.04
/proc/10976/task/10978/stat : 10978 (java) S 10974 10976 10909 0 -1 64 526 0 0 0 4 0 0 0 16 0 8 0 155703909 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10979] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10979/stat : 10979 (java) S 10974 10976 10909 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10980] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10980/stat : 10980 (java) S 10974 10976 10909 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155703910 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10981] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10981/stat : 10981 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10982] ppid=10974 vsize=915560 CPUtime=0.26
/proc/10976/task/10982/stat : 10982 (java) S 10974 10976 10909 0 -1 64 408 0 0 0 25 1 0 0 16 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10983] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10983/stat : 10983 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10976/tid=10984] ppid=10974 vsize=915560 CPUtime=0
/proc/10976/task/10984/stat : 10984 (java) S 10974 10976 10909 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155703913 937533440 10626 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 915560
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1814.93
CPU time (s): 1800.15
CPU user time (s): 1799.83
CPU system time (s): 0.319951
CPU usage (%): 99.1859
Max. virtual memory (cumulated for all children) (KiB): 915560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.319951
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10909
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= 37901
involuntary context switches= 82282
runsolver used 2.07868 s user time and 5.84511 s system time
The end
Begin job on node17 on Sat Jan 6 08:44:51 UTC 2007
IDJOB= 203520
IDBENCH= 3967
FILE ID= node17/203520-1168073091
PBS_JOBID= 3475758
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/frb/frb59-26/frb59-26-2-mgd_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203520-1168073091/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node17/watcher-203520-1168073091 -o ROOT/results/node17/solver-203520-1168073091 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/203520-1168073091/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a71dee76703a52fba5607be3905a205d
RANDOM SEED= 878351638
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.236
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.236
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: 1585232 kB
Buffers: 46164 kB
Cached: 218084 kB
SwapCached: 0 kB
Active: 183220 kB
Inactive: 198156 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1585232 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2512 kB
Writeback: 0 kB
Mapped: 146128 kB
Slab: 73784 kB
Committed_AS: 4510008 kB
PageTables: 2412 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= 66312 MiB
End job on node17 on Sat Jan 6 09:15:10 UTC 2007