0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=pfc.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/280352-1169305048/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=10 maxDomainSize=10
0.40 => wckTime=0.096 cpuTime=0.08 mem=6M910
0.40
0.40 relations being loaded...
0.61
0.61 constraints being loaded...
0.71 nbConstraints=5 nbRelationTypes=5 nbExtensionStructures=5 nbSharedExtensionStructures=0
0.71 nbUnbuiltConflictsStructures=5 nbSharedBinaryRepresentations=0 maxDegree=4 maxArity=10
0.71 => wckTime=0.405 cpuTime=0.36 mem=37M909
0.78
0.78 solver LocalSearchSolver being built...
0.81 => wckTime=0.509 cpuTime=0.4 mem=10M980
0.82
0.82 s SATISFIABLE
0.82 o 0
0.82 c 5
4.31 o 1
4.32 c 4
6.21
6.21 search
6.21 run=0 nbConstraintChecks=4305841 nbAssignments=10000
6.21 => wckTime=5.392 cpuTime=5.37 mem=10M980
9.98 o 2
9.98 c 3
11.28
11.28 search
11.28 run=1 nbConstraintChecks=8501264 nbAssignments=20000
11.28 => wckTime=10.469 cpuTime=10.45 mem=10M980
16.03
16.03 search
16.03 run=2 nbConstraintChecks=12525255 nbAssignments=30000
16.03 => wckTime=15.217 cpuTime=15.19 mem=10M980
20.73
20.73 search
20.73 run=3 nbConstraintChecks=16529109 nbAssignments=40000
20.73 => wckTime=19.918 cpuTime=19.89 mem=10M980
25.46
25.46 search
25.46 run=4 nbConstraintChecks=20546494 nbAssignments=50000
25.46 => wckTime=24.645 cpuTime=24.62 mem=10M980
30.25
30.25 search
30.25 run=5 nbConstraintChecks=24590744 nbAssignments=60000
30.25 => wckTime=29.437 cpuTime=29.41 mem=10M980
34.98
34.98 search
34.98 run=6 nbConstraintChecks=28593558 nbAssignments=70000
34.98 => wckTime=34.167 cpuTime=34.13 mem=10M980
39.66
39.66 search
39.66 run=7 nbConstraintChecks=32589937 nbAssignments=80000
39.66 => wckTime=38.851 cpuTime=38.81 mem=10M980
40.00
40.00 search
40.00 run=8 nbConstraintChecks=32874036 nbAssignments=80696
40.00 => wckTime=39.187 cpuTime=39.16 mem=10M980
40.00
40.00 global
40.00 nbConstraintChecks=32874036 nbValidityChecks=0 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.00 solvingWckTime=39.185 solvingCpuTime=39.16 expiredTime=no totalExploration=no nbFoundSolutions=0
40.00 globalCpuTime=39.61
40.00 => wckTime=39.696 cpuTime=39.56 mem=10M980
40.00
40.00 solver IterativeSystematicSolver being built...
40.13 => wckTime=39.826 cpuTime=39.66 mem=22M479
40.14
40.14 preprocessing
40.14 nbConstraintChecks=176 nbValidityChecks=500 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.14 nbRemovedValues=0 detectedInconsistency=no
40.14 => wckTime=0.0080 cpuTime=0.0 mem=22M479
40.27
40.27 search
40.27 run=0 nbConstraintChecks=88917 nbValidityChecks=103285 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.27 nbAssignments=33 nbFailedAssignments=15 nbBacktracks=11 nbVisitedNodes=54 nbRestartNogoods=0
40.27 => wckTime=0.139 cpuTime=0.12 mem=22M479
40.38
40.38 search
40.38 run=1 nbConstraintChecks=168908 nbValidityChecks=203188 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
40.38 nbAssignments=77 nbFailedAssignments=36 nbBacktracks=26 nbVisitedNodes=119 nbRestartNogoods=4
40.38 => wckTime=0.25 cpuTime=0.22 mem=22M479
41.10
41.10 search
41.10 run=2 nbConstraintChecks=783877 nbValidityChecks=852275 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.10 nbAssignments=147 nbFailedAssignments=77 nbBacktracks=48 nbVisitedNodes=238 nbRestartNogoods=16
41.10 => wckTime=0.972 cpuTime=0.93 mem=22M479
41.17
41.17 search
41.17 run=3 nbConstraintChecks=831866 nbValidityChecks=926307 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.17 nbAssignments=207 nbFailedAssignments=98 nbBacktracks=81 nbVisitedNodes=331 nbRestartNogoods=25
41.17 => wckTime=1.039 cpuTime=1.0 mem=22M479
41.28
41.28 search
41.28 run=4 nbConstraintChecks=915038 nbValidityChecks=1042227 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.28 nbAssignments=290 nbFailedAssignments=125 nbBacktracks=132 nbVisitedNodes=447 nbRestartNogoods=28
41.28 => wckTime=1.149 cpuTime=1.11 mem=22M479
41.65
41.65 search
41.65 run=5 nbConstraintChecks=1219632 nbValidityChecks=1425988 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
41.65 nbAssignments=460 nbFailedAssignments=213 nbBacktracks=208 nbVisitedNodes=728 nbRestartNogoods=33
41.65 => wckTime=1.517 cpuTime=1.47 mem=22M479
42.86
42.86 search
42.86 run=6 nbConstraintChecks=2284787 nbValidityChecks=2594386 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
42.86 nbAssignments=691 nbFailedAssignments=322 nbBacktracks=322 nbVisitedNodes=1091 nbRestartNogoods=37
42.86 => wckTime=2.726 cpuTime=2.68 mem=22M479
43.52
43.52 search
43.52 run=7 nbConstraintChecks=2836075 nbValidityChecks=3297428 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
43.52 nbAssignments=1041 nbFailedAssignments=495 nbBacktracks=492 nbVisitedNodes=1645 nbRestartNogoods=50
43.52 => wckTime=3.385 cpuTime=3.33 mem=22M479
45.50
45.50 search
45.50 run=8 nbConstraintChecks=4493815 nbValidityChecks=5216399 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
45.50 nbAssignments=1628 nbFailedAssignments=819 nbBacktracks=748 nbVisitedNodes=2664 nbRestartNogoods=58
45.50 => wckTime=5.366 cpuTime=5.3 mem=22M479
47.48
47.48 search
47.48 run=9 nbConstraintChecks=6147285 nbValidityChecks=7261727 nbPropagations=0 nbRevisions=0 nbUselessRevisions=0
47.48 nbAssignments=2477 nbFailedAssignments=1277 nbBacktracks=1132 nbVisitedNodes=4070 nbRestartNogoods=67
47.48 => wckTime=7.346 cpuTime=7.28 mem=22M479
50.28
50.28 search
50.28 run=10 nbConstraintChecks=8500891 nbValidityChecks=10222094 nbPropagations=0 nbRevisions=0
50.28 nbUselessRevisions=0 nbAssignments=3794 nbFailedAssignments=2012 nbBacktracks=1708 nbVisitedNodes=6300
50.28 nbRestartNogoods=81
50.28 => wckTime=10.145 cpuTime=10.07 mem=22M479
54.04
54.04 search
54.04 run=11 nbConstraintChecks=11540495 nbValidityChecks=14117922 nbPropagations=0 nbRevisions=0
54.04 nbUselessRevisions=0 nbAssignments=5610 nbFailedAssignments=2958 nbBacktracks=2572 nbVisitedNodes=9356
54.04 nbRestartNogoods=91
54.04 => wckTime=13.905 cpuTime=13.83 mem=22M479
59.55
59.55 search
59.55 run=12 nbConstraintChecks=16153218 nbValidityChecks=20167727 nbPropagations=0 nbRevisions=0
59.55 nbUselessRevisions=0 nbAssignments=8552 nbFailedAssignments=4596 nbBacktracks=3869 nbVisitedNodes=14422
59.55 nbRestartNogoods=98
59.55 => wckTime=19.415 cpuTime=19.33 mem=22M479
74.91
74.91 search
74.91 run=13 nbConstraintChecks=29417451 nbValidityChecks=35394986 nbPropagations=0 nbRevisions=0
74.91 nbUselessRevisions=0 nbAssignments=12876 nbFailedAssignments=6966 nbBacktracks=5815 nbVisitedNodes=21644
74.91 nbRestartNogoods=112
74.91 => wckTime=34.774 cpuTime=34.69 mem=22M479
82.15
82.15 search
82.15 run=14 nbConstraintChecks=35027614 nbValidityChecks=43770380 nbPropagations=0 nbRevisions=0
82.15 nbUselessRevisions=0 nbAssignments=18934 nbFailedAssignments=10099 nbBacktracks=8734 nbVisitedNodes=31616
82.15 nbRestartNogoods=138
82.15 => wckTime=42.016 cpuTime=41.92 mem=22M479
117.09
117.09 search
117.09 run=15 nbConstraintChecks=65206344 nbValidityChecks=78677616 nbPropagations=0 nbRevisions=0
117.09 nbUselessRevisions=0 nbAssignments=28785 nbFailedAssignments=15566 nbBacktracks=13113 nbVisitedNodes=48386
117.09 nbRestartNogoods=149
117.09 => wckTime=76.96 cpuTime=76.86 mem=22M479
148.09
148.09 search
148.09 run=16 nbConstraintChecks=91561528 nbValidityChecks=111842988 nbPropagations=0 nbRevisions=0
148.09 nbUselessRevisions=0 nbAssignments=43312 nbFailedAssignments=23518 nbBacktracks=19681 nbVisitedNodes=73128
148.09 nbRestartNogoods=158
148.09 => wckTime=107.962 cpuTime=107.85 mem=22M479
177.72
177.73 search
177.73 run=17 nbConstraintChecks=113672610 nbValidityChecks=144408742 nbPropagations=0 nbRevisions=0
177.73 nbUselessRevisions=0 nbAssignments=65850 nbFailedAssignments=36195 nbBacktracks=29534 nbVisitedNodes=111204
177.73 nbRestartNogoods=181
177.73 => wckTime=137.594 cpuTime=137.47 mem=22M479
369.84
369.84 search
369.84 run=18 nbConstraintChecks=291375623 nbValidityChecks=338281015 nbPropagations=0 nbRevisions=0
369.84 nbUselessRevisions=0 nbAssignments=100478 nbFailedAssignments=56037 nbBacktracks=44314 nbVisitedNodes=171788
369.84 nbRestartNogoods=197
369.84 => wckTime=329.705 cpuTime=329.42 mem=22M479
432.61
432.61 search
432.61 run=19 nbConstraintChecks=339271344 nbValidityChecks=406341655 nbPropagations=0 nbRevisions=0
432.61 nbUselessRevisions=0 nbAssignments=147060 nbFailedAssignments=80443 nbBacktracks=66483 nbVisitedNodes=249135
432.61 nbRestartNogoods=214
432.61 => wckTime=392.478 cpuTime=392.17 mem=22M479
596.47
596.47 search
596.47 run=20 nbConstraintChecks=480609234 nbValidityChecks=581859981 nbPropagations=0 nbRevisions=0
596.47 nbUselessRevisions=0 nbAssignments=221653 nbFailedAssignments=121775 nbBacktracks=99736 nbVisitedNodes=375319
596.47 nbRestartNogoods=234
596.47 => wckTime=556.334 cpuTime=555.95 mem=22M479
974.97
974.97 search
974.97 run=21 nbConstraintChecks=797543606 nbValidityChecks=955419770 nbPropagations=0 nbRevisions=0
974.97 nbUselessRevisions=0 nbAssignments=338835 nbFailedAssignments=189069 nbBacktracks=149615 nbVisitedNodes=575070
974.97 nbRestartNogoods=259
974.97 => wckTime=934.839 cpuTime=934.33 mem=22M479
1259.39
1259.40 search
1259.40 run=22 nbConstraintChecks=1038389262 nbValidityChecks=1269795338 nbPropagations=0 nbRevisions=0
1259.40 nbUselessRevisions=0 nbAssignments=502123 nbFailedAssignments=277531 nbBacktracks=224433 nbVisitedNodes=847702
1259.40 nbRestartNogoods=271
1259.40 => wckTime=1219.264 cpuTime=1218.64 mem=22M479
2040.36
2040.36 search
2040.36 run=23 nbConstraintChecks=1689939606 nbValidityChecks=2045387834 nbPropagations=0 nbRevisions=0
2040.36 nbUselessRevisions=0 nbAssignments=761269 nbFailedAssignments=424444 nbBacktracks=336660 nbVisitedNodes=1284341
2040.36 nbRestartNogoods=304
2040.36 => wckTime=2000.228 cpuTime=1999.32 mem=22M479
2401.02 v 8 2 1 6 0 8 7 8 7 3 6 5 4 0 8 0 6 7 5 8
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node33/watcher-280352-1169305048 -o ROOT/results/node33/solver-280352-1169305048 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280352-1169305048/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 1.02 1.46 1.73 4/65 5773
/proc/meminfo: memFree=1485208/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=172 CPUtime=0
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 278898641 176128 24 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 10945316 0 0 4096 0 0 0 0 17 1 0 0
/proc/5772/statm: 43 24 18 14 0 3 0
[startup+0.104425 s]
/proc/loadavg: 1.02 1.46 1.73 4/65 5773
/proc/meminfo: memFree=1485208/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=914988 CPUtime=0.07
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 2977 0 1 0 6 1 0 0 17 0 8 0 278898641 936947712 2723 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228747 2723 1422 14 0 215242 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 914988
[startup+0.512506 s]
/proc/loadavg: 1.02 1.46 1.73 4/65 5773
/proc/meminfo: memFree=1485208/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=0.49
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 8438 0 1 0 43 6 0 0 17 0 8 0 278898641 937299968 8177 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 8178 2139 14 0 215303 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915332
[startup+1.33468 s]
/proc/loadavg: 1.02 1.46 1.73 2/72 5780
/proc/meminfo: memFree=1433120/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=1.31
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15668 0 1 0 118 13 0 0 17 0 8 0 278898641 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15406 2477 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915336 CPUtime=0.08
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 317 0 0 0 8 0 0 0 15 0 8 0 278898649 937304064 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15406 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915332
[startup+2.98002 s]
/proc/loadavg: 1.02 1.46 1.73 2/72 5780
/proc/meminfo: memFree=1433056/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=2.96
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15672 0 1 0 271 25 0 0 18 0 8 0 278898641 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15409 2477 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915336 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937304064 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.09
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 320 0 0 0 9 0 0 0 16 0 8 0 278898649 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15409 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915332
[startup+6.2617 s]
/proc/loadavg: 1.02 1.45 1.73 2/72 5780
/proc/meminfo: memFree=1432928/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=6.24
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15676 0 1 0 574 50 0 0 17 0 8 0 278898641 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15413 2477 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.09
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 324 0 0 0 9 0 0 0 16 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915336 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937304064 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15413 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) 915332
[startup+12.7411 s]
/proc/loadavg: 1.02 1.45 1.72 2/72 5780
/proc/meminfo: memFree=1432936/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=12.71
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15676 0 1 0 1169 102 0 0 25 0 8 0 278898641 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073595999 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228834 15413 2477 14 0 215304 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.09
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 324 0 0 0 9 0 0 0 16 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915332
[startup+25.5697 s]
/proc/loadavg: 1.01 1.42 1.71 2/72 5780
/proc/meminfo: memFree=1433072/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=25.53
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15676 0 1 0 2342 211 0 0 25 0 8 0 278898641 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15413 2477 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1537 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.09
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 324 0 0 0 9 0 0 0 16 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915336 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937304064 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15413 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 915332
[startup+51.2481 s]
/proc/loadavg: 1.01 1.39 1.69 2/72 5780
/proc/meminfo: memFree=1432880/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=51.21
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15848 0 1 0 4789 332 0 0 19 0 8 0 278898641 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15570 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 386 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15570 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15570 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) 915332
[startup+102.5 s]
/proc/loadavg: 1.00 1.33 1.65 2/72 5780
/proc/meminfo: memFree=1432880/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=102.44
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15852 0 1 0 9912 332 0 0 25 0 8 0 278898641 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630068 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15571 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 387 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.44
Current children cumulated vsize (KiB) 915332
[startup+162.58 s]
/proc/loadavg: 1.00 1.26 1.61 2/72 5780
/proc/meminfo: memFree=1432880/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=162.49
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15853 0 1 0 15917 332 0 0 25 0 8 0 278898641 937299968 15571 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073596046 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 2024.25
Current children cumulated vsize (KiB) 915332
[startup+2085.2 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 5980
/proc/meminfo: memFree=1432624/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=2084.32
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15856 0 1 0 208095 337 0 0 25 0 8 0 278898641 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630088 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15573 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2084.32
Current children cumulated vsize (KiB) 915332
[startup+2145.27 s]
/proc/loadavg: 1.00 1.00 1.05 2/72 5980
/proc/meminfo: memFree=1432624/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=2144.37
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15856 0 1 0 214100 337 0 0 25 0 8 0 278898641 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918484 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15573 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2144.37
Current children cumulated vsize (KiB) 915332
[startup+2205.35 s]
/proc/loadavg: 1.00 1.00 1.04 2/72 5980
/proc/meminfo: memFree=1432624/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=2204.43
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15856 0 1 0 220106 337 0 0 25 0 8 0 278898641 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758613 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15573 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2204.43
Current children cumulated vsize (KiB) 915332
[startup+2265.44 s]
/proc/loadavg: 1.00 1.00 1.04 2/72 5980
/proc/meminfo: memFree=1432688/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=2264.49
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15856 0 1 0 226112 337 0 0 25 0 8 0 278898641 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073749879 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15573 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2264.49
Current children cumulated vsize (KiB) 915332
[startup+2325.52 s]
/proc/loadavg: 1.06 1.02 1.04 2/72 5980
/proc/meminfo: memFree=1432688/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=2324.55
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15856 0 1 0 232118 337 0 0 25 0 8 0 278898641 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073881854 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15573 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2324.55
Current children cumulated vsize (KiB) 915332
[startup+2385.61 s]
/proc/loadavg: 1.02 1.01 1.03 2/72 5980
/proc/meminfo: memFree=1432624/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=2384.63
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15856 0 1 0 238125 338 0 0 25 0 8 0 278898641 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073750897 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15573 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2384.63
Current children cumulated vsize (KiB) 915332
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.01 s]
/proc/loadavg: 1.02 1.01 1.03 2/72 5980
/proc/meminfo: memFree=1432624/2055920 swapFree=4192224/4192956
[pid=5772] ppid=5770 vsize=915332 CPUtime=2400.03
/proc/5772/stat : 5772 (java) R 5770 5772 5237 0 -1 0 15856 0 1 0 239665 338 0 0 25 0 8 0 278898641 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630130 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/5772/statm: 228833 15573 2530 14 0 215303 0
[pid=5772/tid=5774] ppid=5770 vsize=915332 CPUtime=0.05
/proc/5772/task/5774/stat : 5774 (java) S 5770 5772 5237 0 -1 64 1538 0 0 0 5 0 0 0 16 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5775] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5775/stat : 5775 (java) S 5770 5772 5237 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5776] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5776/stat : 5776 (java) S 5770 5772 5237 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 278898646 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5777] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5777/stat : 5777 (java) S 5770 5772 5237 0 -1 64 1 0 0 0 0 0 0 0 21 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5778] ppid=5770 vsize=915332 CPUtime=0.2
/proc/5772/task/5778/stat : 5778 (java) S 5770 5772 5237 0 -1 64 389 0 0 0 19 1 0 0 16 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5779] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5779/stat : 5779 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=5772/tid=5780] ppid=5770 vsize=915332 CPUtime=0
/proc/5772/task/5780/stat : 5780 (java) S 5770 5772 5237 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 278898649 937299968 15573 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 915332
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 2401.05
CPU time (s): 2400.07
CPU user time (s): 2396.67
CPU system time (s): 3.39148
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 915336
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.67
system time used= 3.39148
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15876
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= 49347
involuntary context switches= 4060
runsolver used 2.22066 s user time and 6.29204 s system time
The end
Begin job on node33 on Sat Jan 20 14:57:28 UTC 2007
IDJOB= 280352
IDBENCH= 11084
IDSOLVER= 69
FILE ID= node33/280352-1169305048
PBS_JOBID= 3609893
Free space on /tmp= 66562 MiB
SOLVER NAME= AbsconMax 109 PFC
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-10-20-10/rand-10-20-10-5-10000-0_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280352-1169305048/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node33/watcher-280352-1169305048 -o ROOT/results/node33/solver-280352-1169305048 -C 2400 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar pfc.xml 1 XSax /tmp/evaluation/280352-1169305048/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= ebe3455652e622664ec0a1054c7775af
RANDOM SEED= 801862976
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 900 MiB
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.281
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.281
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: 1485560 kB
Buffers: 46628 kB
Cached: 438964 kB
SwapCached: 268 kB
Active: 175156 kB
Inactive: 326024 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1485560 kB
SwapTotal: 4192956 kB
SwapFree: 4192224 kB
Dirty: 2620 kB
Writeback: 0 kB
Mapped: 25208 kB
Slab: 55216 kB
Committed_AS: 4692444 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= 66562 MiB
End job on node33 on Sat Jan 20 15:37:29 UTC 2007