0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/248103-1168085938/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.42 nbVariables=100 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.42 => wckTime=0.107 cpuTime=0.1 mem=6M951
0.42
0.42 predicates being loaded...
0.46
0.46 constraints being loaded...
0.58 nbConstraints=40 nbSingletonDomainVariables=6 nbDisconnectedVariables=6 nbConflictsStructures=1
0.58 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=39 nbSharedBinaryRepresentations=0
0.58 nbEvaluationManagers=40 nbSharedEvaluationManagers=0 maxDegree=10 maxArity=10
0.58 => wckTime=0.267 cpuTime=0.21 mem=10M854
0.62
0.62 solver IterativeSystematicSolver being built...
0.78 => wckTime=0.465 cpuTime=0.34 mem=15M407
1.80
1.80 preprocessing
1.80 nbConstraintChecks=1778208 nbValidityChecks=371 nbPropagations=106 nbRevisions=29 nbUselessRevisions=16
1.80 nbRemovedValues=95 detectedInconsistency=no
1.80 => wckTime=1.026 cpuTime=1.02 mem=15M407
30.80
30.80 search
30.80 run=0 nbConstraintChecks=32795344 nbValidityChecks=6190 nbPropagations=344 nbRevisions=405
30.80 nbUselessRevisions=229 nbAssignments=75 nbFailedAssignments=49 nbBacktracks=10 nbVisitedNodes=125
30.80 nbRestartNogoods=0 mapSize=5 nbInferences=0 nbTooLargeKeys=0
30.80 => wckTime=30.025 cpuTime=29.99 mem=15M407
56.17
56.17 search
56.17 run=1 nbConstraintChecks=59556946 nbValidityChecks=20549 nbPropagations=1088 nbRevisions=1626
56.17 nbUselessRevisions=910 nbAssignments=170 nbFailedAssignments=95 nbBacktracks=25 nbVisitedNodes=266
56.17 nbRestartNogoods=1 mapSize=17 nbInferences=0 nbTooLargeKeys=0
56.17 => wckTime=55.389 cpuTime=55.34 mem=15M407
149.93
149.93 search
149.93 run=2 nbConstraintChecks=141804619 nbValidityChecks=26967 nbPropagations=2408 nbRevisions=3485
149.93 nbUselessRevisions=1815 nbAssignments=332 nbFailedAssignments=222 nbBacktracks=47 nbVisitedNodes=555
149.93 nbRestartNogoods=17 mapSize=33 nbInferences=0 nbTooLargeKeys=0
149.93 => wckTime=149.154 cpuTime=149.07 mem=15M407
175.34
175.34 search
175.34 run=3 nbConstraintChecks=166103046 nbValidityChecks=39973 nbPropagations=4283 nbRevisions=6365
175.34 nbUselessRevisions=3200 nbAssignments=419 nbFailedAssignments=250 nbBacktracks=82 nbVisitedNodes=670
175.34 nbRestartNogoods=19 mapSize=59 nbInferences=0 nbTooLargeKeys=0
175.34 => wckTime=174.561 cpuTime=174.46 mem=15M407
187.39
187.39 search
187.39 run=4 nbConstraintChecks=178957133 nbValidityChecks=58295 nbPropagations=6993 nbRevisions=10724
187.39 nbUselessRevisions=5233 nbAssignments=527 nbFailedAssignments=284 nbBacktracks=134 nbVisitedNodes=812
187.39 nbRestartNogoods=41 mapSize=96 nbInferences=0 nbTooLargeKeys=0
187.39 => wckTime=186.614 cpuTime=186.51 mem=15M407
673.73
673.73 search
673.73 run=5 nbConstraintChecks=621671756 nbValidityChecks=176815 nbPropagations=13066 nbRevisions=21048
673.73 nbUselessRevisions=10023 nbAssignments=1348 nbFailedAssignments=1022 nbBacktracks=211 nbVisitedNodes=2371
673.73 nbRestartNogoods=43 mapSize=152 nbInferences=0 nbTooLargeKeys=0
673.73 => wckTime=672.954 cpuTime=672.69 mem=15M407
882.48
882.48 search
882.48 run=6 nbConstraintChecks=810538270 nbValidityChecks=243016 nbPropagations=21280 nbRevisions=35743
882.48 nbUselessRevisions=16788 nbAssignments=1811 nbFailedAssignments=1341 nbBacktracks=325 nbVisitedNodes=3154
882.48 nbRestartNogoods=62 mapSize=218 nbInferences=0 nbTooLargeKeys=0
882.48 => wckTime=881.698 cpuTime=881.35 mem=15M407
923.29
923.30 search
923.30 run=7 nbConstraintChecks=852707661 nbValidityChecks=325633 nbPropagations=32583 nbRevisions=57734
923.30 nbUselessRevisions=26925 nbAssignments=2158 nbFailedAssignments=1483 nbBacktracks=495 nbVisitedNodes=3647
923.30 nbRestartNogoods=101 mapSize=312 nbInferences=0 nbTooLargeKeys=0
923.30 => wckTime=922.517 cpuTime=922.15 mem=15M407
942.33
942.33 search
942.33 run=8 nbConstraintChecks=873430190 nbValidityChecks=444295 nbPropagations=48391 nbRevisions=90424
942.33 nbUselessRevisions=41602 nbAssignments=2635 nbFailedAssignments=1665 nbBacktracks=757 nbVisitedNodes=4322
942.33 nbRestartNogoods=110 mapSize=452 nbInferences=0 nbTooLargeKeys=0
942.33 => wckTime=941.549 cpuTime=941.17 mem=15M407
990.37
990.37 search
990.37 run=9 nbConstraintChecks=925299459 nbValidityChecks=558337 nbPropagations=70732 nbRevisions=135462
990.37 nbUselessRevisions=61594 nbAssignments=3297 nbFailedAssignments=1908 nbBacktracks=1141 nbVisitedNodes=5234
990.37 nbRestartNogoods=119 mapSize=717 nbInferences=0 nbTooLargeKeys=0
990.37 => wckTime=989.593 cpuTime=989.2 mem=16M382
1253.17
1253.17 INFO : Stopping hyperNogood (mapSize=1019, nbTooLargekeys=0, mem=16M382)
1430.42
1430.42 search
1430.42 run=10 nbConstraintChecks=1372852059 nbValidityChecks=966909 nbPropagations=106028 nbRevisions=209641
1430.42 nbUselessRevisions=94223 nbAssignments=4745 nbFailedAssignments=2748 nbBacktracks=1718 nbVisitedNodes=7525
1430.42 nbRestartNogoods=128
1430.42 => wckTime=1429.641 cpuTime=1429.1 mem=16M382
1694.76
1694.76 search
1694.76 run=11 nbConstraintChecks=1635448414 nbValidityChecks=1358023 nbPropagations=156760 nbRevisions=318648
1694.76 nbUselessRevisions=143408 nbAssignments=6343 nbFailedAssignments=3448 nbBacktracks=2582 nbVisitedNodes=9853
1694.76 nbRestartNogoods=147
1694.76 => wckTime=1693.985 cpuTime=1693.35 mem=16M382
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node51/watcher-248103-1168085938 -o ROOT/results/node51/solver-248103-1168085938 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248103-1168085938/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: 0.07 0.56 1.25 3/65 1965
/proc/meminfo: memFree=1460600/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=1784 CPUtime=0
/proc/1964/stat : 1964 (java) D 1962 1964 1497 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 156993466 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/1964/statm: 446 140 106 14 0 91 0
[startup+0.102717 s]
/proc/loadavg: 0.07 0.56 1.25 3/65 1965
/proc/meminfo: memFree=1460600/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=913068 CPUtime=0.07
/proc/1964/stat : 1964 (java) S 1962 1964 1497 0 -1 0 2847 0 1 0 6 1 0 0 16 0 8 0 156993466 934981632 2593 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228267 2593 1395 14 0 215168 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 913068
[startup+0.510782 s]
/proc/loadavg: 0.07 0.56 1.25 3/65 1965
/proc/meminfo: memFree=1460600/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=0.48
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 6828 0 1 0 43 5 0 0 16 0 8 0 156993466 937435136 6567 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4152819938 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 6568 2165 14 0 215336 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915464
[startup+1.33092 s]
/proc/loadavg: 0.07 0.56 1.25 2/72 1973
/proc/meminfo: memFree=1437056/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=1.3
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 8636 0 1 0 123 7 0 0 17 0 8 0 156993466 937435136 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630592 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8374 2528 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.14
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 347 0 0 0 14 0 0 0 16 0 8 0 156993475 937435136 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8374 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8374 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) 915464
[startup+2.9682 s]
/proc/loadavg: 0.07 0.56 1.25 2/72 1973
/proc/meminfo: memFree=1436544/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=2.94
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 8731 0 1 0 287 7 0 0 17 0 8 0 156993466 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073624208 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8467 2529 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 163 0 0 0 2 0 0 0 17 0 8 0 156993470 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.15
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 352 0 0 0 15 0 0 0 15 0 8 0 156993475 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8467 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) 915464
[startup+6.26076 s]
/proc/loadavg: 0.15 0.57 1.25 2/72 1973
/proc/meminfo: memFree=1436544/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=6.24
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 8744 0 1 0 617 7 0 0 17 0 8 0 156993466 937435136 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8479 2530 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.16
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 356 0 0 0 16 0 0 0 16 0 8 0 156993475 937435136 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 915464
[startup+12.7299 s]
/proc/loadavg: 0.21 0.58 1.25 3/72 1973
/proc/meminfo: memFree=1436544/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=12.7
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 8749 0 1 0 1263 7 0 0 19 0 8 0 156993466 937435136 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628028 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8481 2530 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.16
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 358 0 0 0 16 0 0 0 15 0 8 0 156993475 937435136 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8481 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 915464
[startup+25.575 s]
/proc/loadavg: 0.39 0.60 1.25 2/72 1973
/proc/meminfo: memFree=1436480/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=25.54
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 8753 0 1 0 2547 7 0 0 21 0 8 0 156993466 937435136 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627932 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8482 2530 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 163 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.16
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 359 0 0 0 16 0 0 0 16 0 8 0 156993475 937435136 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8482 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.54
Current children cumulated vsize (KiB) 915464
[startup+51.2534 s]
/proc/loadavg: 0.60 0.63 1.24 2/72 1973
/proc/meminfo: memFree=1436416/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=51.21
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 8774 0 1 0 5114 7 0 0 18 0 8 0 156993466 937435136 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627988 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8497 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 17 0 8 0 156993470 937435136 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.17
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 362 0 0 0 17 0 0 0 16 0 8 0 156993475 937435136 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8497 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.21
Current children cumulated vsize (KiB) 915464
[startup+102.498 s]
/proc/loadavg: 0.82 0.68 1.22 2/72 1973
/proc/meminfo: memFree=1436416/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=102.45
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 8784 0 1 0 10237 8 0 0 19 0 8 0 156993466 937435136 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627252 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8505 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.19
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 366 0 0 0 18 1 0 0 16 0 8 0 156993475 937435136 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8505 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.45
Current children cumulated vsize (KiB) 915464
[startup+162.578 s]
/proc/loadavg: 0.93 0.74 1.21 2/72 1973
/proc/meminfo: memFree=1436352/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=162.51
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 8792 0 1 0 16243 8 0 0 25 0 8 0 156993466 937435136 8510 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.82
Current children cumulated vsize (KiB) 915464
[startup+1484.37 s]
/proc/loadavg: 1.00 1.00 1.04 2/72 1973
/proc/meminfo: memFree=1435392/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=1483.88
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 9015 0 1 0 148379 9 0 0 25 0 8 0 156993466 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626768 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8711 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.24
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.88
Current children cumulated vsize (KiB) 915464
[startup+1544.46 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 1973
/proc/meminfo: memFree=1435456/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=1543.95
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 9015 0 1 0 154386 9 0 0 25 0 8 0 156993466 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073626759 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8711 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.24
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.95
Current children cumulated vsize (KiB) 915464
[startup+1604.54 s]
/proc/loadavg: 1.00 1.00 1.03 2/72 1973
/proc/meminfo: memFree=1435392/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=1604
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 9015 0 1 0 160391 9 0 0 25 0 8 0 156993466 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073622367 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8711 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.24
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604
Current children cumulated vsize (KiB) 915464
[startup+1664.61 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 1973
/proc/meminfo: memFree=1435328/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=1664.06
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 9015 0 1 0 166397 9 0 0 25 0 8 0 156993466 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627168 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8711 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.24
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8711 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.06
Current children cumulated vsize (KiB) 915464
[startup+1724.69 s]
/proc/loadavg: 1.00 1.00 1.02 2/72 1973
/proc/meminfo: memFree=1435328/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=1724.12
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 9018 0 1 0 172403 9 0 0 25 0 8 0 156993466 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628687 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8714 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.24
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.12
Current children cumulated vsize (KiB) 915464
[startup+1784.77 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 1973
/proc/meminfo: memFree=1435392/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=1784.18
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 9018 0 1 0 178409 9 0 0 25 0 8 0 156993466 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073627880 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8714 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.24
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.18
Current children cumulated vsize (KiB) 915464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.68 s]
/proc/loadavg: 1.00 1.00 1.01 2/72 1973
/proc/meminfo: memFree=1435328/2055920 swapFree=4192812/4192956
[pid=1964] ppid=1962 vsize=915464 CPUtime=1800.09
/proc/1964/stat : 1964 (java) R 1962 1964 1497 0 -1 0 9018 0 1 0 180000 9 0 0 25 0 8 0 156993466 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073628045 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/1964/statm: 228866 8714 2533 14 0 215336 0
[pid=1964/tid=1966] ppid=1962 vsize=915464 CPUtime=0.02
/proc/1964/task/1966/stat : 1966 (java) S 1962 1964 1497 0 -1 64 164 0 0 0 2 0 0 0 16 0 8 0 156993470 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1968] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1968/stat : 1968 (java) S 1962 1964 1497 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156993471 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1969] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1969/stat : 1969 (java) S 1962 1964 1497 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156993471 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1970] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1970/stat : 1970 (java) S 1962 1964 1497 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1971] ppid=1962 vsize=915464 CPUtime=0.24
/proc/1964/task/1971/stat : 1971 (java) S 1962 1964 1497 0 -1 64 389 0 0 0 23 1 0 0 16 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1972] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1972/stat : 1972 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=1964/tid=1973] ppid=1962 vsize=915464 CPUtime=0
/proc/1964/task/1973/stat : 1973 (java) S 1962 1964 1497 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 156993475 937435136 8714 18446744073709551615 134512640 134570532 4294956480 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) 915464
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.73
CPU time (s): 1800.15
CPU user time (s): 1800.05
CPU system time (s): 0.100984
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 915464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.05
system time used= 0.100984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9036
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= 37364
involuntary context switches= 2598
runsolver used 1.72174 s user time and 4.66329 s system time
The end
Begin job on node51 on Sat Jan 6 12:19:06 UTC 2007
IDJOB= 248103
IDBENCH= 11681
FILE ID= node51/248103-1168085938
PBS_JOBID= 3476291
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/primes/primes-10/primes-10-40-3-7.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248103-1168085938/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node51/watcher-248103-1168085938 -o ROOT/results/node51/solver-248103-1168085938 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/248103-1168085938/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2142cd23a3dfbdbf24df4650693f7316
RANDOM SEED= 956993723
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.277
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.277
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: 1461016 kB
Buffers: 34688 kB
Cached: 475584 kB
SwapCached: 0 kB
Active: 60592 kB
Inactive: 465348 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1461016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 25844 kB
Slab: 54968 kB
Committed_AS: 3075524 kB
PageTables: 1408 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= 66547 MiB
End job on node51 on Sat Jan 6 12:49:10 UTC 2007