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/206761-1168177675/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.40 nbVariables=28 nbDomainTypes=1 minDomainSize=28 maxDomainSize=28
0.40 => wckTime=0.097 cpuTime=0.09 mem=6M951
0.40
0.40 relations being loaded...
1.48
1.48 constraints being loaded...
2.20 nbConstraints=92 nbRelationTypes=93 nbMergedConstraints=1 nbExtensionStructures=92
2.20 nbSharedExtensionStructures=0 nbConflictsStructures=92 nbSharedConflictsStructures=0
2.20 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
2.20 => wckTime=1.904 cpuTime=1.53 mem=58M70
2.36
2.36 solver IterativeSystematicSolver being built...
2.53 => wckTime=2.226 cpuTime=1.66 mem=65M618
2.67
2.67 preprocessing
2.67 nbConstraintChecks=47127 nbValidityChecks=83516 nbPropagations=285 nbRevisions=3071 nbUselessRevisions=2683
2.67 nbSingletonTests=39 nbEffectiveSingletonTests=0 nbESACBranches=4 nbRemovedValues=0 detectedInconsistency=no
2.67 => wckTime=0.137 cpuTime=0.11 mem=65M618
2.77
2.77 search
2.77 run=0 nbConstraintChecks=51530 nbValidityChecks=101309 nbPropagations=720 nbRevisions=7980
2.77 nbUselessRevisions=6662 nbAssignments=39 nbFailedAssignments=19 nbBacktracks=12 nbVisitedNodes=68
2.77 nbRestartNogoods=0 mapSize=11 nbInferences=0 nbTooLargeKeys=0
2.77 => wckTime=0.236 cpuTime=0.2 mem=66M627
2.91
2.91 search
2.91 run=1 nbConstraintChecks=131433 nbValidityChecks=264144 nbPropagations=2139 nbRevisions=24349
2.91 nbUselessRevisions=20010 nbAssignments=104 nbFailedAssignments=50 nbBacktracks=27 nbVisitedNodes=163
2.91 nbRestartNogoods=2 mapSize=24 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.385 cpuTime=0.34 mem=66M627
3.08
3.08 search
3.08 run=2 nbConstraintChecks=224537 nbValidityChecks=451299 nbPropagations=4371 nbRevisions=50318
3.08 nbUselessRevisions=40953 nbAssignments=175 nbFailedAssignments=90 nbBacktracks=49 nbVisitedNodes=289
3.08 nbRestartNogoods=5 mapSize=45 nbInferences=0 nbTooLargeKeys=0
3.08 => wckTime=0.55 cpuTime=0.5 mem=66M627
3.26
3.26 search
3.26 run=3 nbConstraintChecks=336169 nbValidityChecks=676869 nbPropagations=7734 nbRevisions=89254
3.26 nbUselessRevisions=72169 nbAssignments=267 nbFailedAssignments=141 nbBacktracks=82 nbVisitedNodes=453
3.26 nbRestartNogoods=10 mapSize=77 nbInferences=0 nbTooLargeKeys=0
3.26 => wckTime=0.734 cpuTime=0.68 mem=66M627
3.57
3.57 search
3.57 run=4 nbConstraintChecks=520182 nbValidityChecks=1070710 nbPropagations=12954 nbRevisions=151024
3.57 nbUselessRevisions=121257 nbAssignments=419 nbFailedAssignments=225 nbBacktracks=132 nbVisitedNodes=716
3.58 nbRestartNogoods=16 mapSize=124 nbInferences=0 nbTooLargeKeys=0
3.58 => wckTime=1.045 cpuTime=0.99 mem=66M627
3.96
3.96 search
3.96 run=5 nbConstraintChecks=756507 nbValidityChecks=1553325 nbPropagations=20548 nbRevisions=239959
3.96 nbUselessRevisions=191823 nbAssignments=623 nbFailedAssignments=329 nbBacktracks=207 nbVisitedNodes=1065
3.96 nbRestartNogoods=20 mapSize=195 nbInferences=0 nbTooLargeKeys=0
3.96 => wckTime=1.433 cpuTime=1.37 mem=66M627
4.61
4.61 search
4.61 run=6 nbConstraintChecks=1143626 nbValidityChecks=2344213 nbPropagations=32019 nbRevisions=376364
4.61 nbUselessRevisions=299948 nbAssignments=926 nbFailedAssignments=493 nbBacktracks=320 nbVisitedNodes=1595
4.61 nbRestartNogoods=31 mapSize=300 nbInferences=0 nbTooLargeKeys=0
4.61 => wckTime=2.085 cpuTime=2.01 mem=66M627
5.75
5.75 search
5.75 run=7 nbConstraintChecks=1855794 nbValidityChecks=3754506 nbPropagations=49515 nbRevisions=588117
5.75 nbUselessRevisions=467828 nbAssignments=1461 nbFailedAssignments=840 nbBacktracks=490 nbVisitedNodes=2598
5.75 nbRestartNogoods=39 mapSize=464 nbInferences=0 nbTooLargeKeys=0
5.75 => wckTime=3.218 cpuTime=3.13 mem=66M627
7.24
7.24 search
7.24 run=8 nbConstraintChecks=2750758 nbValidityChecks=5646668 nbPropagations=76429 nbRevisions=915600
7.24 nbUselessRevisions=726134 nbAssignments=2193 nbFailedAssignments=1298 nbBacktracks=747 nbVisitedNodes=3963
7.24 nbRestartNogoods=44 mapSize=710 nbInferences=0 nbTooLargeKeys=0
7.24 => wckTime=4.714 cpuTime=4.62 mem=66M627
8.94
8.94 search
8.94 run=9 nbConstraintChecks=3805683 nbValidityChecks=7716205 nbPropagations=112940 nbRevisions=1355456
8.94 nbUselessRevisions=1073646 nbAssignments=3000 nbFailedAssignments=1711 nbBacktracks=1131 nbVisitedNodes=5390
8.94 nbRestartNogoods=53 mapSize=1016 nbInferences=0 nbTooLargeKeys=0
8.94 => wckTime=6.406 cpuTime=6.29 mem=66M627
9.08
9.08 INFO : Stopping hyperNogood (mapSize=1032, nbTooLargekeys=0, mem=66M627)
11.79
11.79 search
11.79 run=10 nbConstraintChecks=5547074 nbValidityChecks=11268821 nbPropagations=167940 nbRevisions=2023073
11.79 nbUselessRevisions=1600475 nbAssignments=4425 nbFailedAssignments=2519 nbBacktracks=1707 nbVisitedNodes=7979
11.79 nbRestartNogoods=65
11.79 => wckTime=9.262 cpuTime=9.13 mem=66M627
16.09
16.09 search
16.09 run=11 nbConstraintChecks=8281857 nbValidityChecks=16722330 nbPropagations=249222 nbRevisions=3010072
16.09 nbUselessRevisions=2380935 nbAssignments=6489 nbFailedAssignments=3710 nbBacktracks=2571 nbVisitedNodes=11823
16.09 nbRestartNogoods=75
16.09 => wckTime=13.558 cpuTime=13.4 mem=66M627
23.69
23.69 search
23.69 run=12 nbConstraintChecks=13001745 nbValidityChecks=26421923 nbPropagations=380054 nbRevisions=4597444
23.69 nbUselessRevisions=3630310 nbAssignments=10184 nbFailedAssignments=6089 nbBacktracks=3870 nbVisitedNodes=18843
23.69 nbRestartNogoods=87
23.69 => wckTime=21.163 cpuTime=20.96 mem=66M627
33.85
33.85 search
33.85 run=13 nbConstraintChecks=19580442 nbValidityChecks=39421866 nbPropagations=572021 nbRevisions=6937545
33.85 nbUselessRevisions=5475371 nbAssignments=15036 nbFailedAssignments=8987 nbBacktracks=5816 nbVisitedNodes=27951
33.85 nbRestartNogoods=94
33.85 => wckTime=31.318 cpuTime=31.05 mem=66M627
50.88
50.88 search
50.88 run=14 nbConstraintChecks=30283053 nbValidityChecks=61293688 nbPropagations=873609 nbRevisions=10623971
50.88 nbUselessRevisions=8370684 nbAssignments=23276 nbFailedAssignments=14299 nbBacktracks=8736 nbVisitedNodes=43602
50.88 nbRestartNogoods=100
50.88 => wckTime=48.351 cpuTime=47.89 mem=66M627
74.79
74.79 search
74.79 run=15 nbConstraintChecks=45469762 nbValidityChecks=91129857 nbPropagations=1308900 nbRevisions=15970662
74.79 nbUselessRevisions=12579683 nbAssignments=34144 nbFailedAssignments=20780 nbBacktracks=13114
74.79 nbVisitedNodes=63893 nbRestartNogoods=109
74.79 => wckTime=72.261 cpuTime=71.58 mem=66M627
116.99
116.99 search
116.99 run=16 nbConstraintChecks=71226977 nbValidityChecks=143186339 nbPropagations=1998139 nbRevisions=24469163
116.99 nbUselessRevisions=19249918 nbAssignments=53239 nbFailedAssignments=33275 nbBacktracks=19683
116.99 nbVisitedNodes=100315 nbRestartNogoods=128
116.99 => wckTime=114.461 cpuTime=113.57 mem=66M627
171.36
171.36 search
171.36 run=17 nbConstraintChecks=104953028 nbValidityChecks=209465835 nbPropagations=2994599 nbRevisions=36750282
171.36 nbUselessRevisions=28913980 nbAssignments=77396 nbFailedAssignments=47572 nbBacktracks=29537
171.36 nbVisitedNodes=145527 nbRestartNogoods=137
171.36 => wckTime=168.827 cpuTime=167.67 mem=66M627
259.55
259.55 search
259.55 run=18 nbConstraintChecks=158291264 nbValidityChecks=318330338 nbPropagations=4541492 nbRevisions=55752427
259.55 nbUselessRevisions=43823666 nbAssignments=118712 nbFailedAssignments=74099 nbBacktracks=44315
259.55 nbVisitedNodes=224259 nbRestartNogoods=152
259.55 => wckTime=257.018 cpuTime=255.44 mem=66M627
364.01
364.01 search
364.01 run=19 nbConstraintChecks=222423579 nbValidityChecks=445534964 nbPropagations=6695659 nbRevisions=82193235
364.01 nbUselessRevisions=64642774 nbAssignments=167312 nbFailedAssignments=100451 nbBacktracks=66483
364.01 nbVisitedNodes=312513 nbRestartNogoods=171
364.01 => wckTime=361.478 cpuTime=359.41 mem=66M627
517.95
517.95 search
517.95 run=20 nbConstraintChecks=315961767 nbValidityChecks=632237639 nbPropagations=9750093 nbRevisions=120250380
517.95 nbUselessRevisions=94827888 nbAssignments=238612 nbFailedAssignments=138492 nbBacktracks=99735
517.95 nbVisitedNodes=442086 nbRestartNogoods=188
517.95 => wckTime=515.418 cpuTime=512.62 mem=66M627
766.68
766.69 search
766.69 run=21 nbConstraintChecks=465923091 nbValidityChecks=933922767 nbPropagations=14187529 nbRevisions=176338010
766.69 nbUselessRevisions=139567797 nbAssignments=347678 nbFailedAssignments=197637 nbBacktracks=149613
766.69 nbVisitedNodes=640902 nbRestartNogoods=201
766.69 => wckTime=764.156 cpuTime=760.03 mem=66M627
1157.05
1157.05 search
1157.05 run=22 nbConstraintChecks=711098783 nbValidityChecks=1440347292 nbPropagations=21152303 nbRevisions=263451395
1157.05 nbUselessRevisions=208630030 nbAssignments=539874 nbFailedAssignments=314974 nbBacktracks=224433
1157.05 nbVisitedNodes=1001866 nbRestartNogoods=228
1157.05 => wckTime=1154.519 cpuTime=1148.18 mem=66M627
1705.59
1705.59 search
1705.59 run=23 nbConstraintChecks=1062283286 nbValidityChecks=2133369516 nbPropagations=31286758 nbRevisions=389983816
1705.59 nbUselessRevisions=308907449 nbAssignments=789886 nbFailedAssignments=452752 nbBacktracks=336661
1705.59 nbVisitedNodes=1460681 nbRestartNogoods=243
1705.59 => wckTime=1703.061 cpuTime=1693.55 mem=66M627
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node50/watcher-206761-1168177675 -o ROOT/results/node50/solver-206761-1168177675 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206761-1168177675/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
/proc/loadavg: 2.00 2.00 1.98 4/81 3970
/proc/meminfo: memFree=1369360/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=18540 CPUtime=0
/proc/3969/stat : 3969 (runsolver) R 3967 3969 3219 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 166166072 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 240577473831 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/3969/statm: 4635 279 244 17 0 2626 0
[startup+0.107993 s]
/proc/loadavg: 2.00 2.00 1.98 4/81 3970
/proc/meminfo: memFree=1369360/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=914988 CPUtime=0.08
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 3047 0 1 0 7 1 0 0 23 0 8 0 166166072 936947712 2793 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228747 2793 1446 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516067 s]
/proc/loadavg: 2.00 2.00 1.98 4/81 3970
/proc/meminfo: memFree=1369360/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915328 CPUtime=0.49
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 8168 0 1 0 45 4 0 0 25 0 8 0 166166072 937295872 7907 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073563246 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228832 7908 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33921 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3977
/proc/meminfo: memFree=1249176/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915328 CPUtime=1.31
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 19099 0 1 0 121 10 0 0 25 0 8 0 166166072 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073557605 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228832 18837 2149 14 0 215302 0
[pid=3969/tid=3971] ppid=3967 vsize=915328 CPUtime=0.04
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 2681 0 0 0 4 0 0 0 17 0 8 0 166166076 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915328 CPUtime=0.07
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 309 0 0 0 7 0 0 0 16 0 8 0 166166080 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915328 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937295872 18837 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915328
[startup+2.98648 s]
/proc/loadavg: 2.00 2.00 1.98 4/88 3977
/proc/meminfo: memFree=1198680/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=2.95
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32577 0 1 0 278 17 0 0 25 0 8 0 166166072 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073812489 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32312 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 17 0 8 0 166166076 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.2
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 379 0 0 0 19 1 0 0 16 0 8 0 166166080 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32312 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 915440
[startup+6.27903 s]
/proc/loadavg: 2.00 2.00 1.98 3/88 3977
/proc/meminfo: memFree=1158872/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=6.22
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32593 0 1 0 605 17 0 0 25 0 8 0 166166072 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800343 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32325 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 17 0 8 0 166166076 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.23
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 393 0 0 0 22 1 0 0 16 0 8 0 166166080 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32325 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915440
[startup+12.7721 s]
/proc/loadavg: 2.15 2.03 1.99 3/88 3977
/proc/meminfo: memFree=1065688/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=12.68
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32602 0 1 0 1251 17 0 0 25 0 8 0 166166072 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073817949 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32331 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.24
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 400 0 0 0 23 1 0 0 16 0 8 0 166166080 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32331 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 915440
[startup+25.6313 s]
/proc/loadavg: 2.28 2.06 2.00 3/88 3977
/proc/meminfo: memFree=727256/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=25.46
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32604 0 1 0 2529 17 0 0 25 0 8 0 166166072 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665353 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32333 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.24
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 915440
[startup+51.3016 s]
/proc/loadavg: 2.33 2.09 2.01 4/92 4032
/proc/meminfo: memFree=1090168/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=50.9
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32604 0 1 0 5071 19 0 0 25 0 8 0 166166072 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073630009 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32333 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.24
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 402 0 0 0 23 1 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 915440
[startup+102.564 s]
/proc/loadavg: 2.18 2.09 2.01 3/92 4032
/proc/meminfo: memFree=1070584/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=101.81
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32605 0 1 0 10162 19 0 0 25 0 8 0 166166072 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/3969/statm: 228860 32333 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 915440
[startup+162.568 s]
/proc/loadavg: 2.06 2.07 2.00 3/92 4032
/proc/meminfo: memFree=1046008/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=161.53
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32605 0 1 0 16134 19 0 0 25 0 8 0 166166072 937410560 32333 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073629919 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1414.92
Current children cumulated vsize (KiB) 915440
[startup+1482.84 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 4230
/proc/meminfo: memFree=674808/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1474.6
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 147423 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.6
Current children cumulated vsize (KiB) 915440
[startup+1542.85 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 4230
/proc/meminfo: memFree=645944/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1534.29
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 153392 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665455 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.29
Current children cumulated vsize (KiB) 915440
[startup+1602.87 s]
/proc/loadavg: 2.04 2.01 2.00 3/92 4230
/proc/meminfo: memFree=645880/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1593.99
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 159362 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073665396 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1593.99
Current children cumulated vsize (KiB) 915440
[startup+1662.88 s]
/proc/loadavg: 2.01 2.01 2.00 3/92 4230
/proc/meminfo: memFree=616888/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1653.66
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 165329 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1653.66
Current children cumulated vsize (KiB) 915440
[startup+1722.89 s]
/proc/loadavg: 2.00 2.00 2.00 3/92 4230
/proc/meminfo: memFree=616824/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1713.34
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 171297 37 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073800472 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1713.34
Current children cumulated vsize (KiB) 915440
[startup+1782.9 s]
/proc/loadavg: 2.08 2.02 2.01 3/92 4230
/proc/meminfo: memFree=616824/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1773.04
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 177266 38 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073809478 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1773.04
Current children cumulated vsize (KiB) 915440
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1810.19 s]
/proc/loadavg: 2.05 2.01 2.00 3/92 4232
/proc/meminfo: memFree=585336/2055920 swapFree=4191892/4192956
[pid=3969] ppid=3967 vsize=915440 CPUtime=1800.08
/proc/3969/stat : 3969 (java) R 3967 3969 3219 0 -1 0 32606 0 1 0 179970 38 0 0 25 0 8 0 166166072 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073634812 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/3969/statm: 228860 32334 2531 14 0 215330 0
[pid=3969/tid=3971] ppid=3967 vsize=915440 CPUtime=0.43
/proc/3969/task/3971/stat : 3971 (java) S 3967 3969 3219 0 -1 64 15582 0 0 0 38 5 0 0 16 0 8 0 166166076 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3972] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3972/stat : 3972 (java) S 3967 3969 3219 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3973] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3973/stat : 3973 (java) S 3967 3969 3219 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 166166077 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3974] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3974/stat : 3974 (java) S 3967 3969 3219 0 -1 64 0 0 0 0 0 0 0 0 21 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3975] ppid=3967 vsize=915440 CPUtime=0.25
/proc/3969/task/3975/stat : 3975 (java) S 3967 3969 3219 0 -1 64 403 0 0 0 24 1 0 0 16 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=3969/tid=3976] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3976/stat : 3976 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=3969/tid=3977] ppid=3967 vsize=915440 CPUtime=0
/proc/3969/task/3977/stat : 3977 (java) S 3967 3969 3219 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 166166080 937410560 32334 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 915440
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1810.26
CPU time (s): 1800.16
CPU user time (s): 1799.75
CPU system time (s): 0.400939
CPU usage (%): 99.4418
Max. virtual memory (cumulated for all children) (KiB): 915440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.75
system time used= 0.400939
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32623
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= 37797
involuntary context switches= 59631
runsolver used 2.23566 s user time and 5.78912 s system time
The end
Begin job on node50 on Sun Jan 7 13:47:55 UTC 2007
IDJOB= 206761
IDBENCH= 4233
FILE ID= node50/206761-1168177675
PBS_JOBID= 3479082
Free space on /tmp= 66547 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-28-28/rand-3-28-28-93-632-25_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206761-1168177675/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-206761-1168177675 -o ROOT/results/node50/solver-206761-1168177675 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/206761-1168177675/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 5fbdc367aff83d7ec4267032df1b5a4a
RANDOM SEED= 924573056
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.263
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 : 5931.00
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.263
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: 1369840 kB
Buffers: 34956 kB
Cached: 544848 kB
SwapCached: 372 kB
Active: 237476 kB
Inactive: 390592 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1369840 kB
SwapTotal: 4192956 kB
SwapFree: 4191892 kB
Dirty: 16656 kB
Writeback: 0 kB
Mapped: 65916 kB
Slab: 43212 kB
Committed_AS: 4539484 kB
PageTables: 1996 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66547 MiB
End job on node50 on Sun Jan 7 14:18:07 UTC 2007