0.40
0.40 Abscon 109 (November, 2006)
0.40
0.40 configuration
0.40 name=esac.xml
0.43
0.43 instance
0.43 name=/tmp/evaluation/206514-1168174113/unknown.xml
0.46
0.46 domains being loaded...
0.47
0.47 variables being loaded...
0.50 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.50 => wckTime=0.1 cpuTime=0.08 mem=6M951
0.50
0.50 relations being loaded...
1.63
1.63 constraints being loaded...
2.36 nbConstraints=93 nbRelationTypes=93 nbExtensionStructures=93 nbSharedExtensionStructures=0
2.36 nbConflictsStructures=93 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=16 maxArity=3
2.36 => wckTime=1.96 cpuTime=1.57 mem=59M27
2.52
2.52 solver IterativeSystematicSolver being built...
2.69 => wckTime=2.291 cpuTime=1.72 mem=66M174
2.83
2.83 preprocessing
2.83 nbConstraintChecks=43121 nbValidityChecks=68507 nbPropagations=203 nbRevisions=2220 nbUselessRevisions=1978
2.83 nbSingletonTests=33 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.83 => wckTime=0.131 cpuTime=0.1 mem=66M174
2.94
2.94 search
2.94 run=0 nbConstraintChecks=60182 nbValidityChecks=111890 nbPropagations=629 nbRevisions=7451
2.94 nbUselessRevisions=6327 nbAssignments=36 nbFailedAssignments=16 nbBacktracks=11 nbVisitedNodes=63
2.94 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
2.94 => wckTime=0.249 cpuTime=0.21 mem=67M191
3.11
3.12 search
3.12 run=1 nbConstraintChecks=150430 nbValidityChecks=288482 nbPropagations=1963 nbRevisions=23812
3.12 nbUselessRevisions=19734 nbAssignments=91 nbFailedAssignments=37 nbBacktracks=30 nbVisitedNodes=144
3.12 nbRestartNogoods=4 mapSize=28 nbInferences=0 nbTooLargeKeys=0
3.12 => wckTime=0.419 cpuTime=0.37 mem=67M191
3.29
3.29 search
3.29 run=2 nbConstraintChecks=240089 nbValidityChecks=481692 nbPropagations=4229 nbRevisions=52860
3.29 nbUselessRevisions=43348 nbAssignments=164 nbFailedAssignments=80 nbBacktracks=53 nbVisitedNodes=275
3.29 nbRestartNogoods=6 mapSize=50 nbInferences=0 nbTooLargeKeys=0
3.29 => wckTime=0.59 cpuTime=0.54 mem=67M191
3.53
3.53 search
3.53 run=3 nbConstraintChecks=381550 nbValidityChecks=753533 nbPropagations=7664 nbRevisions=96972
3.53 nbUselessRevisions=78891 nbAssignments=256 nbFailedAssignments=131 nbBacktracks=88 nbVisitedNodes=443
3.53 nbRestartNogoods=10 mapSize=82 nbInferences=0 nbTooLargeKeys=0
3.53 => wckTime=0.832 cpuTime=0.77 mem=67M191
3.84
3.84 search
3.84 run=4 nbConstraintChecks=567838 nbValidityChecks=1102905 nbPropagations=12598 nbRevisions=160161
3.84 nbUselessRevisions=129359 nbAssignments=376 nbFailedAssignments=194 nbBacktracks=138 nbVisitedNodes=654
3.84 nbRestartNogoods=13 mapSize=119 nbInferences=0 nbTooLargeKeys=0
3.84 => wckTime=1.141 cpuTime=1.08 mem=67M191
4.31
4.31 search
4.31 run=5 nbConstraintChecks=837922 nbValidityChecks=1661817 nbPropagations=20138 nbRevisions=256410
4.31 nbUselessRevisions=206536 nbAssignments=596 nbFailedAssignments=319 nbBacktracks=213 nbVisitedNodes=1038
4.31 nbRestartNogoods=19 mapSize=187 nbInferences=0 nbTooLargeKeys=0
4.31 => wckTime=1.617 cpuTime=1.55 mem=67M191
5.02
5.02 search
5.02 run=6 nbConstraintChecks=1246711 nbValidityChecks=2494271 nbPropagations=31441 nbRevisions=398762
5.02 nbUselessRevisions=320220 nbAssignments=865 nbFailedAssignments=468 nbBacktracks=326 nbVisitedNodes=1526
5.02 nbRestartNogoods=25 mapSize=282 nbInferences=0 nbTooLargeKeys=0
5.02 => wckTime=2.321 cpuTime=2.25 mem=67M191
6.05
6.05 search
6.05 run=7 nbConstraintChecks=1855021 nbValidityChecks=3719252 nbPropagations=48214 nbRevisions=616347
6.05 nbUselessRevisions=494508 nbAssignments=1244 nbFailedAssignments=671 nbBacktracks=496 nbVisitedNodes=2222
6.05 nbRestartNogoods=32 mapSize=439 nbInferences=0 nbTooLargeKeys=0
6.05 => wckTime=3.357 cpuTime=3.27 mem=67M191
8.49
8.49 search
8.49 run=8 nbConstraintChecks=3326049 nbValidityChecks=6892600 nbPropagations=77539 nbRevisions=1021814
8.49 nbUselessRevisions=819212 nbAssignments=2451 nbFailedAssignments=1617 nbBacktracks=752 nbVisitedNodes=4574
8.49 nbRestartNogoods=38 mapSize=687 nbInferences=0 nbTooLargeKeys=0
8.49 => wckTime=5.791 cpuTime=5.67 mem=67M191
10.57
10.57 INFO : Stopping hyperNogood (mapSize=1012, nbTooLargekeys=0, mem=67M191)
10.84
10.84 search
10.84 run=9 nbConstraintChecks=4760631 nbValidityChecks=9707952 nbPropagations=120164 nbRevisions=1603676
10.84 nbUselessRevisions=1285062 nbAssignments=3365 nbFailedAssignments=2140 nbBacktracks=1136 nbVisitedNodes=6271
10.84 nbRestartNogoods=44
10.84 => wckTime=8.149 cpuTime=8.01 mem=67M191
14.26
14.26 search
14.26 run=10 nbConstraintChecks=6930068 nbValidityChecks=13835606 nbPropagations=181352 nbRevisions=2423216
14.26 nbUselessRevisions=1938939 nbAssignments=4615 nbFailedAssignments=2796 nbBacktracks=1712 nbVisitedNodes=8556
14.26 nbRestartNogoods=57
14.26 => wckTime=11.564 cpuTime=11.41 mem=67M191
22.75
22.75 search
22.75 run=11 nbConstraintChecks=12415760 nbValidityChecks=24520698 nbPropagations=279553 nbRevisions=3775947
22.75 nbUselessRevisions=3020861 nbAssignments=7666 nbFailedAssignments=4977 nbBacktracks=2576 nbVisitedNodes=14481
22.75 nbRestartNogoods=66
22.75 => wckTime=20.05 cpuTime=19.89 mem=67M191
29.09
29.09 search
29.09 run=12 nbConstraintChecks=16450801 nbValidityChecks=32442182 nbPropagations=414735 nbRevisions=5650480
29.09 nbUselessRevisions=4527990 nbAssignments=10537 nbFailedAssignments=6544 nbBacktracks=3873 nbVisitedNodes=19733
29.09 nbRestartNogoods=84
29.09 => wckTime=26.394 cpuTime=26.2 mem=67M191
40.78
40.78 search
40.78 run=13 nbConstraintChecks=23690565 nbValidityChecks=47025815 nbPropagations=612889 nbRevisions=8357339
40.78 nbUselessRevisions=6701083 nbAssignments=14861 nbFailedAssignments=8913 nbBacktracks=5820 nbVisitedNodes=27686
40.78 nbRestartNogoods=99
40.78 => wckTime=38.088 cpuTime=37.88 mem=67M191
55.56
55.56 search
55.56 run=14 nbConstraintChecks=33177280 nbValidityChecks=66439377 nbPropagations=898238 nbRevisions=12148533
55.56 nbUselessRevisions=9746903 nbAssignments=22234 nbFailedAssignments=13360 nbBacktracks=8739 nbVisitedNodes=41455
55.56 nbRestartNogoods=110
55.56 => wckTime=52.86 cpuTime=52.64 mem=67M191
82.25
82.25 search
82.25 run=15 nbConstraintChecks=50601667 nbValidityChecks=99932623 nbPropagations=1335026 nbRevisions=17874775
82.25 nbUselessRevisions=14311513 nbAssignments=32305 nbFailedAssignments=19046 nbBacktracks=13117
82.25 nbVisitedNodes=60122 nbRestartNogoods=119
82.25 => wckTime=79.556 cpuTime=79.29 mem=67M191
126.16
126.16 search
126.16 run=16 nbConstraintChecks=78579359 nbValidityChecks=155617363 nbPropagations=2008606 nbRevisions=26844953
126.16 nbUselessRevisions=21490296 nbAssignments=48982 nbFailedAssignments=29148 nbBacktracks=19685
126.16 nbVisitedNodes=91628 nbRestartNogoods=135
126.16 => wckTime=123.465 cpuTime=123.15 mem=67M191
182.80
182.80 search
182.80 run=17 nbConstraintChecks=113155565 nbValidityChecks=226518350 nbPropagations=3002490 nbRevisions=39912263
182.80 nbUselessRevisions=31945319 nbAssignments=74941 nbFailedAssignments=45246 nbBacktracks=29538
182.80 nbVisitedNodes=140533 nbRestartNogoods=144
182.80 => wckTime=180.102 cpuTime=179.74 mem=67M191
267.77
267.77 search
267.77 run=18 nbConstraintChecks=164390562 nbValidityChecks=329475890 nbPropagations=4456924 nbRevisions=58907876
267.77 nbUselessRevisions=47103043 nbAssignments=107890 nbFailedAssignments=63410 nbBacktracks=44316
267.77 nbVisitedNodes=200655 nbRestartNogoods=161
267.77 => wckTime=265.07 cpuTime=264.62 mem=67M191
392.14
392.14 search
392.14 run=19 nbConstraintChecks=240194597 nbValidityChecks=483275674 nbPropagations=6607257 nbRevisions=86700280
392.14 nbUselessRevisions=69288662 nbAssignments=163135 nbFailedAssignments=96456 nbBacktracks=66485
392.14 nbVisitedNodes=303692 nbRestartNogoods=183
392.14 => wckTime=389.444 cpuTime=388.86 mem=67M191
574.57
574.57 search
574.57 run=20 nbConstraintChecks=349643342 nbValidityChecks=699835924 nbPropagations=9714479 nbRevisions=126482798
574.57 nbUselessRevisions=100961061 nbAssignments=229821 nbFailedAssignments=129882 nbBacktracks=99738
574.57 nbVisitedNodes=423343 nbRestartNogoods=196
574.57 => wckTime=571.879 cpuTime=571.14 mem=67M191
873.09
873.09 search
873.09 run=21 nbConstraintChecks=535849689 nbValidityChecks=1058813194 nbPropagations=14406010 nbRevisions=187302222
873.09 nbUselessRevisions=149366243 nbAssignments=340425 nbFailedAssignments=190601 nbBacktracks=149617
873.09 nbVisitedNodes=627733 nbRestartNogoods=223
873.09 => wckTime=870.397 cpuTime=869.34 mem=67M191
1307.21
1307.22 search
1307.22 run=22 nbConstraintChecks=796523456 nbValidityChecks=1595881119 nbPropagations=21564137 nbRevisions=281232486
1307.22 nbUselessRevisions=224248092 nbAssignments=527831 nbFailedAssignments=303182 nbBacktracks=224436
1307.22 nbVisitedNodes=977815 nbRestartNogoods=247
1307.22 => wckTime=1304.52 cpuTime=1303.03 mem=67M191
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node41/watcher-206514-1168174113 -o ROOT/results/node41/solver-206514-1168174113 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206514-1168174113/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.94 1.99 1.83 2/81 3638
/proc/meminfo: memFree=1526592/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=18540 CPUtime=0
/proc/3637/stat : 3637 (runsolver) R 3635 3637 3434 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 165810704 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 238390144295 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3637/statm: 4635 279 244 17 0 2626 0
[startup+0.103377 s]
/proc/loadavg: 1.94 1.99 1.83 2/81 3638
/proc/meminfo: memFree=1526592/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=907808 CPUtime=0.05
/proc/3637/stat : 3637 (java) D 3635 3637 3434 0 -1 0 2457 0 1 0 4 1 0 0 16 0 4 0 165810704 929595392 2204 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 2147483391 0 23755 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 226952 2204 1214 14 0 214535 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 907808
[startup+0.515412 s]
/proc/loadavg: 1.94 1.99 1.83 2/81 3638
/proc/meminfo: memFree=1526592/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915328 CPUtime=0.4
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 6291 0 1 0 36 4 0 0 18 0 8 0 165810704 937295872 6030 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072941842 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 228832 6030 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 915328
[startup+1.34149 s]
/proc/loadavg: 1.94 1.99 1.83 3/88 3645
/proc/meminfo: memFree=1459528/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915328 CPUtime=1.22
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 19099 0 1 0 112 10 0 0 24 0 8 0 165810704 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073565881 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 228832 18836 2149 14 0 215302 0
[pid=3637/tid=3639] ppid=3635 vsize=915328 CPUtime=0.05
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 2681 0 0 0 4 1 0 0 17 0 8 0 165810708 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915328 CPUtime=0.07
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 307 0 0 0 7 0 0 0 16 0 8 0 165810721 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915328 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937295872 18836 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 915328
[startup+2.97963 s]
/proc/loadavg: 1.94 1.99 1.83 4/88 3645
/proc/meminfo: memFree=1418824/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=2.86
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32690 0 1 0 269 17 0 0 25 0 8 0 165810704 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762830 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 228856 32424 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 17 0 8 0 165810708 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.18
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 362 0 0 0 17 1 0 0 15 0 8 0 165810721 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32424 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 915424
[startup+6.26791 s]
/proc/loadavg: 1.94 1.99 1.83 3/88 3645
/proc/meminfo: memFree=1406472/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=6.12
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32704 0 1 0 595 17 0 0 25 0 8 0 165810704 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634819 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3637/statm: 228856 32436 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 17 0 8 0 165810708 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.21
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 375 0 0 0 20 1 0 0 15 0 8 0 165810721 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32436 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 915424
[startup+12.7555 s]
/proc/loadavg: 1.95 1.99 1.83 3/88 3645
/proc/meminfo: memFree=1406600/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=12.58
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32719 0 1 0 1240 18 0 0 17 0 8 0 165810704 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761066 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32448 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.24
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 387 0 0 0 23 1 0 0 16 0 8 0 165810721 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32448 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 915424
[startup+25.6306 s]
/proc/loadavg: 1.89 1.98 1.83 3/88 3720
/proc/meminfo: memFree=1293832/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=25.41
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32723 0 1 0 2523 18 0 0 25 0 8 0 165810704 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073771300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32452 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.24
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915424
[startup+51.2868 s]
/proc/loadavg: 1.93 1.98 1.83 3/88 3720
/proc/meminfo: memFree=1114184/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=51.06
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32723 0 1 0 5087 19 0 0 25 0 8 0 165810704 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073762932 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32452 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.24
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 915424
[startup+102.565 s]
/proc/loadavg: 1.97 1.98 1.83 3/81 3721
/proc/meminfo: memFree=1320128/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=102.27
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32723 0 1 0 10208 19 0 0 25 0 8 0 165810704 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761997 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32452 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.24
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 391 0 0 0 23 1 0 0 16 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 915424
[startup+162.594 s]
/proc/loadavg: 1.99 1.98 1.84 3/81 3721
/proc/meminfo: memFree=1316672/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=162.21
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32723 0 1 0 16202 19 0 0 25 0 8 0 165810704 937394176 32452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073775410 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 915424
[startup+1483.22 s]
/proc/loadavg: 2.10 2.03 1.94 3/81 3919
/proc/meminfo: memFree=1166976/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1481.54
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 148114 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1481.54
Current children cumulated vsize (KiB) 915424
[startup+1543.24 s]
/proc/loadavg: 2.04 2.02 1.94 3/81 3919
/proc/meminfo: memFree=1162688/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1541.51
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 154111 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073783958 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.51
Current children cumulated vsize (KiB) 915424
[startup+1603.27 s]
/proc/loadavg: 2.01 2.02 1.94 3/81 3919
/proc/meminfo: memFree=1158592/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1601.46
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 160106 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073758675 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.46
Current children cumulated vsize (KiB) 915424
[startup+1663.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/81 3919
/proc/meminfo: memFree=1154944/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1661.18
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 166078 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073778300 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.18
Current children cumulated vsize (KiB) 915424
[startup+1723.39 s]
/proc/loadavg: 2.00 2.01 1.94 3/81 3919
/proc/meminfo: memFree=1150848/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1720.96
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 172056 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073761043 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1720.96
Current children cumulated vsize (KiB) 915424
[startup+1783.49 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 3921
/proc/meminfo: memFree=1147008/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1780.71
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 178031 40 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336182 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1780.71
Current children cumulated vsize (KiB) 915424
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1802.92 s]
/proc/loadavg: 2.00 2.00 1.94 3/81 3921
/proc/meminfo: memFree=1145984/2055920 swapFree=4191892/4192956
[pid=3637] ppid=3635 vsize=915424 CPUtime=1800.07
/proc/3637/stat : 3637 (java) R 3635 3637 3434 0 -1 0 32725 0 1 0 179966 41 0 0 25 0 8 0 165810704 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3637/statm: 228856 32453 2531 14 0 215326 0
[pid=3637/tid=3639] ppid=3635 vsize=915424 CPUtime=0.44
/proc/3637/task/3639/stat : 3639 (java) S 3635 3637 3434 0 -1 64 15712 0 0 0 38 6 0 0 16 0 8 0 165810708 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3640] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3640/stat : 3640 (java) S 3635 3637 3434 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3641] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3641/stat : 3641 (java) S 3635 3637 3434 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 165810709 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3642] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3642/stat : 3642 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3643] ppid=3635 vsize=915424 CPUtime=0.25
/proc/3637/task/3643/stat : 3643 (java) S 3635 3637 3434 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3637/tid=3644] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3644/stat : 3644 (java) S 3635 3637 3434 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3637/tid=3645] ppid=3635 vsize=915424 CPUtime=0
/proc/3637/task/3645/stat : 3645 (java) S 3635 3637 3434 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 165810721 937394176 32453 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 915424
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1802.99
CPU time (s): 1800.13
CPU user time (s): 1799.7
CPU system time (s): 0.430934
CPU usage (%): 99.8415
Max. virtual memory (cumulated for all children) (KiB): 915424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.7
system time used= 0.430934
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32742
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= 37593
involuntary context switches= 35259
runsolver used 2.6086 s user time and 5.39318 s system time
The end
Begin job on node41 on Sun Jan 7 12:48:34 UTC 2007
IDJOB= 206514
IDBENCH= 4214
FILE ID= node41/206514-1168174113
PBS_JOBID= 3479085
Free space on /tmp= 66541 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-36_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206514-1168174113/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-206514-1168174113 -o ROOT/results/node41/solver-206514-1168174113 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206514-1168174113/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 58a80347851c1598c5e724f3ea41177e
RANDOM SEED= 646383649
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.234
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.234
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: 1527072 kB
Buffers: 34368 kB
Cached: 344472 kB
SwapCached: 396 kB
Active: 185796 kB
Inactive: 275080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1527072 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 7484 kB
Writeback: 0 kB
Mapped: 98428 kB
Slab: 52984 kB
Committed_AS: 3058484 kB
PageTables: 2072 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= 66505 MiB
End job on node41 on Sun Jan 7 13:18:38 UTC 2007