0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/214209-1168228798/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.53 nbVariables=2630 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.53 => wckTime=0.232 cpuTime=0.17 mem=10M819
0.53
0.53 predicates being loaded...
0.54
0.54 constraints being loaded...
1.54 nbConstraints=6569 nbConvertedConstraints=1687 nbConvertConstraintsChecks=56 nbExtensionStructures=2
1.54 nbSharedExtensionStructures=1685 nbConflictsStructures=8 nbSharedConflictsStructures=6561
1.54 nbSharedBinaryRepresentations=5 nbEvaluationManagers=6 nbSharedEvaluationManagers=4876 maxDegree=81 maxArity=3
1.54 => wckTime=1.241 cpuTime=1.02 mem=8M992
1.60
1.60 solver IterativeSystematicSolver being built...
1.98 => wckTime=1.684 cpuTime=1.33 mem=9M881
2.82
2.82 preprocessing
2.82 nbConstraintChecks=15933 nbValidityChecks=8932 nbPropagations=9426 nbRevisions=32888 nbUselessRevisions=28665
2.82 nbSingletonTests=2666 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
2.82 => wckTime=0.826 cpuTime=0.78 mem=9M881
2.98
2.98 search
2.98 run=0 nbConstraintChecks=17846 nbValidityChecks=13001 nbPropagations=14909 nbRevisions=57269
2.98 nbUselessRevisions=47564 nbAssignments=74 nbFailedAssignments=4 nbBacktracks=14 nbVisitedNodes=83
2.98 nbRestartNogoods=0 mapSize=7 nbInferences=0 nbTooLargeKeys=0
2.98 => wckTime=0.992 cpuTime=0.94 mem=10M902
3.12
3.12 search
3.12 run=1 nbConstraintChecks=31378 nbValidityChecks=26550 nbPropagations=35018 nbRevisions=137803
3.12 nbUselessRevisions=113193 nbAssignments=148 nbFailedAssignments=8 nbBacktracks=30 nbVisitedNodes=165
3.12 nbRestartNogoods=1 mapSize=14 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=1.128 cpuTime=1.07 mem=10M902
3.31
3.31 search
3.31 run=2 nbConstraintChecks=56305 nbValidityChecks=49485 nbPropagations=63853 nbRevisions=258233
3.31 nbUselessRevisions=209976 nbAssignments=237 nbFailedAssignments=15 nbBacktracks=52 nbVisitedNodes=268
3.31 nbRestartNogoods=2 mapSize=25 nbInferences=0 nbTooLargeKeys=0
3.31 => wckTime=1.323 cpuTime=1.27 mem=10M902
3.56
3.56 search
3.56 run=3 nbConstraintChecks=87247 nbValidityChecks=78528 nbPropagations=103784 nbRevisions=429365
3.56 nbUselessRevisions=346331 nbAssignments=340 nbFailedAssignments=24 nbBacktracks=92 nbVisitedNodes=389
3.56 nbRestartNogoods=5 mapSize=41 nbInferences=0 nbTooLargeKeys=0
3.56 => wckTime=1.573 cpuTime=1.52 mem=10M902
3.88
3.88 search
3.88 run=4 nbConstraintChecks=133069 nbValidityChecks=120291 nbPropagations=159441 nbRevisions=673747
3.88 nbUselessRevisions=540146 nbAssignments=463 nbFailedAssignments=37 nbBacktracks=142 nbVisitedNodes=538
3.89 nbRestartNogoods=7 mapSize=64 nbInferences=0 nbTooLargeKeys=0
3.89 => wckTime=1.894 cpuTime=1.84 mem=10M902
4.31
4.31 search
4.31 run=5 nbConstraintChecks=193793 nbValidityChecks=175671 nbPropagations=236245 nbRevisions=1015518
4.31 nbUselessRevisions=810094 nbAssignments=612 nbFailedAssignments=56 nbBacktracks=218 nbVisitedNodes=725
4.31 nbRestartNogoods=10 mapSize=100 nbInferences=0 nbTooLargeKeys=0
4.31 => wckTime=2.321 cpuTime=2.26 mem=10M902
4.92
4.92 search
4.92 run=6 nbConstraintChecks=282371 nbValidityChecks=254537 nbPropagations=343032 nbRevisions=1496146
4.92 nbUselessRevisions=1188755 nbAssignments=814 nbFailedAssignments=83 nbBacktracks=333 nbVisitedNodes=981
4.92 nbRestartNogoods=12 mapSize=150 nbInferences=0 nbTooLargeKeys=0
4.92 => wckTime=2.929 cpuTime=2.87 mem=10M902
5.73
5.73 search
5.73 run=7 nbConstraintChecks=384740 nbValidityChecks=343710 nbPropagations=484367 nbRevisions=2136447
5.73 nbUselessRevisions=1692304 nbAssignments=1076 nbFailedAssignments=122 nbBacktracks=504 nbVisitedNodes=1315
5.73 nbRestartNogoods=16 mapSize=220 nbInferences=0 nbTooLargeKeys=0
5.73 => wckTime=3.737 cpuTime=3.68 mem=10M902
6.88
6.88 search
6.88 run=8 nbConstraintChecks=511057 nbValidityChecks=449837 nbPropagations=667120 nbRevisions=2971368
6.88 nbUselessRevisions=2348823 nbAssignments=1445 nbFailedAssignments=174 nbBacktracks=762 nbVisitedNodes=1784
6.88 nbRestartNogoods=18 mapSize=317 nbInferences=0 nbTooLargeKeys=0
6.88 => wckTime=4.889 cpuTime=4.82 mem=10M902
8.59
8.59 search
8.59 run=9 nbConstraintChecks=697736 nbValidityChecks=608026 nbPropagations=911045 nbRevisions=4096820
8.59 nbUselessRevisions=3234295 nbAssignments=1983 nbFailedAssignments=262 nbBacktracks=1148 nbVisitedNodes=2482
8.59 nbRestartNogoods=21 mapSize=472 nbInferences=0 nbTooLargeKeys=0
8.59 => wckTime=6.604 cpuTime=6.52 mem=11M890
10.95
10.95 search
10.95 run=10 nbConstraintChecks=894961 nbValidityChecks=774096 nbPropagations=1218869 nbRevisions=5526037
10.95 nbUselessRevisions=4359129 nbAssignments=2728 nbFailedAssignments=365 nbBacktracks=1725 nbVisitedNodes=3410
10.95 nbRestartNogoods=26 mapSize=652 nbInferences=0 nbTooLargeKeys=0
10.95 => wckTime=8.965 cpuTime=8.87 mem=11M890
14.24
14.24 search
14.24 run=11 nbConstraintChecks=1110564 nbValidityChecks=958342 nbPropagations=1597404 nbRevisions=7292344
14.24 nbUselessRevisions=5749619 nbAssignments=3778 nbFailedAssignments=479 nbBacktracks=2598 nbVisitedNodes=4661
14.24 nbRestartNogoods=29 mapSize=849 nbInferences=0 nbTooLargeKeys=0
14.24 => wckTime=12.251 cpuTime=12.16 mem=12M877
16.56
16.56 INFO : Stopping hyperNogood (mapSize=1001, nbTooLargekeys=0, mem=12M877)
17.33
17.33 search
17.33 run=12 nbConstraintChecks=1405536 nbValidityChecks=1209205 nbPropagations=2073937 nbRevisions=9520825
17.33 nbUselessRevisions=7503076 nbAssignments=5365 nbFailedAssignments=687 nbBacktracks=3903 nbVisitedNodes=6566
17.33 nbRestartNogoods=33
17.33 => wckTime=15.337 cpuTime=15.24 mem=12M877
19.40
19.40 search
19.40 run=13 nbConstraintChecks=1793268 nbValidityChecks=1554468 nbPropagations=2684456 nbRevisions=12358767
19.40 nbUselessRevisions=9730480 nbAssignments=7809 nbFailedAssignments=844 nbBacktracks=5854 nbVisitedNodes=9060
19.40 nbRestartNogoods=41
19.40 => wckTime=17.414 cpuTime=17.32 mem=12M877
23.50
23.50 search
23.50 run=14 nbConstraintChecks=2788884 nbValidityChecks=2549922 nbPropagations=3663740 nbRevisions=16901082
23.50 nbUselessRevisions=13279628 nbAssignments=11171 nbFailedAssignments=1207 nbBacktracks=8788 nbVisitedNodes=13177
23.50 nbRestartNogoods=44
23.50 => wckTime=21.51 cpuTime=21.41 mem=12M877
31.45
31.45 search
31.45 run=15 nbConstraintChecks=4824561 nbValidityChecks=4788472 nbPropagations=5441264 nbRevisions=25124888
31.45 nbUselessRevisions=19678856 nbAssignments=16215 nbFailedAssignments=1784 nbBacktracks=13191
31.45 nbVisitedNodes=19405 nbRestartNogoods=48
31.45 => wckTime=29.457 cpuTime=29.36 mem=12M877
43.99
43.99 search
43.99 run=16 nbConstraintChecks=8174778 nbValidityChecks=8514972 nbPropagations=8536458 nbRevisions=39383864
43.99 nbUselessRevisions=30738338 nbAssignments=23728 nbFailedAssignments=2629 nbBacktracks=19770
43.99 nbVisitedNodes=28590 nbRestartNogoods=52
43.99 => wckTime=42.002 cpuTime=41.9 mem=12M877
59.33
59.33 search
59.33 run=17 nbConstraintChecks=11921910 nbValidityChecks=12671841 nbPropagations=13157449 nbRevisions=60417275
59.33 nbUselessRevisions=46995974 nbAssignments=34463 nbFailedAssignments=3434 nbBacktracks=29633
59.33 nbVisitedNodes=40934 nbRestartNogoods=56
59.33 => wckTime=57.337 cpuTime=57.23 mem=12M877
82.98
82.98 search
82.98 run=18 nbConstraintChecks=17772705 nbValidityChecks=19156650 nbPropagations=20177155 nbRevisions=92137278
82.98 nbUselessRevisions=71470405 nbAssignments=50417 nbFailedAssignments=4547 nbBacktracks=44411
82.98 nbVisitedNodes=59131 nbRestartNogoods=61
82.98 => wckTime=80.993 cpuTime=80.83 mem=12M877
110.49
110.49 search
110.49 run=19 nbConstraintChecks=23704792 nbValidityChecks=25580238 nbPropagations=29522594 nbRevisions=134546117
110.49 nbUselessRevisions=104241277 nbAssignments=73900 nbFailedAssignments=5766 nbBacktracks=66618
110.49 nbVisitedNodes=85000 nbRestartNogoods=66
110.49 => wckTime=108.497 cpuTime=108.3 mem=12M877
145.13
145.13 search
145.13 run=20 nbConstraintChecks=30303582 nbValidityChecks=32688624 nbPropagations=41494682 nbRevisions=188489765
145.13 nbUselessRevisions=145817657 nbAssignments=108743 nbFailedAssignments=7269 nbBacktracks=99879
145.13 nbVisitedNodes=122916 nbRestartNogoods=70
145.13 => wckTime=143.144 cpuTime=142.92 mem=12M877
212.05
212.05 search
212.05 run=21 nbConstraintChecks=45238572 nbValidityChecks=49246785 nbPropagations=59511592 nbRevisions=269825949
212.05 nbUselessRevisions=208543264 nbAssignments=161913 nbFailedAssignments=10460 nbBacktracks=149794
212.05 nbVisitedNodes=182401 nbRestartNogoods=78
212.05 => wckTime=210.061 cpuTime=209.81 mem=12M877
300.78
300.78 search
300.78 run=22 nbConstraintChecks=64143816 nbValidityChecks=69534742 nbPropagations=85098439 nbRevisions=384637488
300.78 nbUselessRevisions=296968083 nbAssignments=240559 nbFailedAssignments=14160 nbBacktracks=224619
300.78 nbVisitedNodes=268482 nbRestartNogoods=83
300.78 => wckTime=298.792 cpuTime=298.51 mem=12M877
428.52
428.52 search
428.52 run=23 nbConstraintChecks=90287060 nbValidityChecks=97727028 nbPropagations=121201610 nbRevisions=546228503
428.52 nbUselessRevisions=421381927 nbAssignments=358294 nbFailedAssignments=19583 nbBacktracks=336865
428.52 nbVisitedNodes=396807 nbRestartNogoods=91
428.52 => wckTime=426.532 cpuTime=426.23 mem=12M877
614.74
614.74 search
614.74 run=24 nbConstraintChecks=126973261 nbValidityChecks=137238577 nbPropagations=171458873 nbRevisions=773513152
614.74 nbUselessRevisions=596844059 nbAssignments=535547 nbFailedAssignments=28423 nbBacktracks=505212
614.74 nbVisitedNodes=591711 nbRestartNogoods=97
614.74 => wckTime=612.753 cpuTime=612.4 mem=12M877
909.63
909.63 search
909.63 run=25 nbConstraintChecks=186450213 nbValidityChecks=204349593 nbPropagations=245576816 nbRevisions=1109873755
909.63 nbUselessRevisions=856437082 nbAssignments=802738 nbFailedAssignments=42971 nbBacktracks=757735
909.63 nbVisitedNodes=888233 nbRestartNogoods=102
909.63 => wckTime=907.642 cpuTime=907.23 mem=12M877
1303.11
1303.11 search
1303.11 run=26 nbConstraintChecks=259114818 nbValidityChecks=282614670 nbPropagations=348145474 nbRevisions=1575669319
1303.11 nbUselessRevisions=1216040694 nbAssignments=1198267 nbFailedAssignments=59609 nbBacktracks=1136515
1303.11 nbVisitedNodes=1316778 nbRestartNogoods=108
1303.11 => wckTime=1301.118 cpuTime=1300.61 mem=12M877
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node34/watcher-214209-1168228798 -o ROOT/results/node34/solver-214209-1168228798 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214209-1168228798/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: 1.01 1.01 1.00 4/65 13867
/proc/meminfo: memFree=1843168/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=1784 CPUtime=0
/proc/13866/stat : 13866 (java) D 13864 13866 13296 0 -1 0 169 0 0 0 0 0 0 0 20 0 1 0 171273562 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/13866/statm: 446 140 106 14 0 91 0
[startup+0.107961 s]
/proc/loadavg: 1.01 1.01 1.00 4/65 13867
/proc/meminfo: memFree=1843168/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=914988 CPUtime=0.09
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 3062 0 1 0 8 1 0 0 16 0 8 0 171273562 936947712 2808 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228747 2808 1450 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.517994 s]
/proc/loadavg: 1.01 1.01 1.00 4/65 13867
/proc/meminfo: memFree=1843168/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915328 CPUtime=0.5
/proc/13866/stat : 13866 (java) S 13864 13866 13296 0 -1 0 6633 0 1 0 46 4 0 0 16 0 8 0 171273562 937295872 6372 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228832 6372 2136 14 0 215302 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 915328
[startup+1.34505 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 13874
/proc/meminfo: memFree=1792360/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915640 CPUtime=1.33
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 16135 0 1 0 101 32 0 0 16 0 8 0 171273562 937615360 15873 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228909 15874 2167 14 0 215379 0
[pid=13866/tid=13868] ppid=13864 vsize=915640 CPUtime=0
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 8 0 0 0 0 0 0 0 16 0 8 0 171273565 937615360 15874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915636 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 171273566 937611264 15874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915640 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 3 0 0 0 0 0 0 0 20 0 8 0 171273566 937615360 15874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915636 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937611264 15874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915640 CPUtime=0.17
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 425 0 0 0 16 1 0 0 15 0 8 0 171273569 937615360 15874 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915636 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937611264 15875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915640 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937615360 15875 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 915640
[startup+2.98519 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 13874
/proc/meminfo: memFree=1771816/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=2.97
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20603 0 1 0 259 38 0 0 16 0 8 0 171273562 937705472 20338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20338 2547 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.3
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 513 0 0 0 29 1 0 0 15 0 8 0 171273569 937705472 20338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20338 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 915728
[startup+6.26145 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 13874
/proc/meminfo: memFree=1771624/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=6.24
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20610 0 1 0 586 38 0 0 17 0 8 0 171273562 937705472 20343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20343 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.31
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 517 0 0 0 30 1 0 0 16 0 8 0 171273569 937705472 20343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20343 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20343 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) 915728
[startup+12.744 s]
/proc/loadavg: 1.01 1.01 1.00 2/72 13874
/proc/meminfo: memFree=1771624/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=12.72
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20627 0 1 0 1234 38 0 0 19 0 8 0 171273562 937705472 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089196 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20354 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.33
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 530 0 0 0 32 1 0 0 16 0 8 0 171273569 937705472 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20354 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 915728
[startup+25.578 s]
/proc/loadavg: 1.01 1.00 1.00 2/72 13874
/proc/meminfo: memFree=1771688/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=25.55
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20631 0 1 0 2517 38 0 0 25 0 8 0 171273562 937705472 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103816 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20355 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 531 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20355 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.55
Current children cumulated vsize (KiB) 915728
[startup+51.2561 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 13874
/proc/meminfo: memFree=1771752/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=51.23
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20632 0 1 0 5084 39 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074089359 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.23
Current children cumulated vsize (KiB) 915728
[startup+102.527 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 14012
/proc/meminfo: memFree=1770344/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=102.41
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20632 0 1 0 10202 39 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074108032 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.41
Current children cumulated vsize (KiB) 915728
[startup+162.534 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 14072
/proc/meminfo: memFree=1771304/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=162.37
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20633 0 1 0 16197 40 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074090316 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1423.85
Current children cumulated vsize (KiB) 915728
[startup+1484.39 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 14074
/proc/meminfo: memFree=1771112/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=1483.92
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20633 0 1 0 148349 43 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074155802 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1483.92
Current children cumulated vsize (KiB) 915728
[startup+1544.47 s]
/proc/loadavg: 1.06 1.01 1.00 2/72 14074
/proc/meminfo: memFree=1771048/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=1543.99
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20633 0 1 0 154356 43 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074130455 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1543.99
Current children cumulated vsize (KiB) 915728
[startup+1604.56 s]
/proc/loadavg: 1.02 1.01 1.00 2/72 14074
/proc/meminfo: memFree=1771048/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=1604.06
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20633 0 1 0 160363 43 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074105395 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1604.06
Current children cumulated vsize (KiB) 915728
[startup+1664.65 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 14074
/proc/meminfo: memFree=1771048/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=1664.13
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20633 0 1 0 166370 43 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074103844 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1664.13
Current children cumulated vsize (KiB) 915728
[startup+1724.73 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 14074
/proc/meminfo: memFree=1770984/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=1724.2
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20633 0 1 0 172377 43 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073838703 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1724.2
Current children cumulated vsize (KiB) 915728
[startup+1784.81 s]
/proc/loadavg: 1.00 1.00 1.00 3/72 14074
/proc/meminfo: memFree=1770984/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=1784.27
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20633 0 1 0 178384 43 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074139900 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1784.27
Current children cumulated vsize (KiB) 915728
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.63 s]
/proc/loadavg: 1.00 1.00 1.00 2/72 14074
/proc/meminfo: memFree=1770984/2055920 swapFree=4192812/4192956
[pid=13866] ppid=13864 vsize=915728 CPUtime=1800.09
/proc/13866/stat : 13866 (java) R 13864 13866 13296 0 -1 0 20633 0 1 0 179966 43 0 0 25 0 8 0 171273562 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4074157848 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/13866/statm: 228932 20356 2548 14 0 215402 0
[pid=13866/tid=13868] ppid=13864 vsize=915728 CPUtime=0.15
/proc/13866/task/13868/stat : 13868 (java) S 13864 13866 13296 0 -1 64 3448 0 0 0 14 1 0 0 16 0 8 0 171273565 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13869] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13869/stat : 13869 (java) S 13864 13866 13296 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=13866/tid=13870] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13870/stat : 13870 (java) S 13864 13866 13296 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 171273566 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13871] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13871/stat : 13871 (java) S 13864 13866 13296 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13872] ppid=13864 vsize=915728 CPUtime=0.34
/proc/13866/task/13872/stat : 13872 (java) S 13864 13866 13296 0 -1 64 532 0 0 0 33 1 0 0 16 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13873] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13873/stat : 13873 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 171273569 937705472 20356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=13866/tid=13874] ppid=13864 vsize=915728 CPUtime=0
/proc/13866/task/13874/stat : 13874 (java) S 13864 13866 13296 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 171273569 937705472 20356 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) 915728
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1800.71
CPU time (s): 1800.17
CPU user time (s): 1799.72
CPU system time (s): 0.450931
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 915728
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.72
system time used= 0.450931
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20651
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= 37673
involuntary context switches= 1592
runsolver used 1.84572 s user time and 4.54231 s system time
The end
Begin job on node34 on Mon Jan 8 03:59:58 UTC 2007
IDJOB= 214209
IDBENCH= 4907
FILE ID= node34/214209-1168228798
PBS_JOBID= 3481290
Free space on /tmp= 66553 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/par/par-32-1-c.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214209-1168228798/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-214209-1168228798 -o ROOT/results/node34/solver-214209-1168228798 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/214209-1168228798/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= bfe3ce251328ed77af50c91066f0ef0d
RANDOM SEED= 171040456
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.227
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.227
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: 1843776 kB
Buffers: 36560 kB
Cached: 104948 kB
SwapCached: 0 kB
Active: 80120 kB
Inactive: 76852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1843776 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2596 kB
Writeback: 0 kB
Mapped: 25608 kB
Slab: 41268 kB
Committed_AS: 2976708 kB
PageTables: 1396 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= 66553 MiB
End job on node34 on Mon Jan 8 04:29:59 UTC 2007