0.30
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=mac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/210405-1168075062/unknown.xml
0.36
0.36 domains being loaded...
0.37
0.37 variables being loaded...
0.47 nbVariables=863 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.47 => wckTime=0.164 cpuTime=0.12 mem=7M894
0.47
0.47 predicates being loaded...
0.48
0.48 constraints being loaded...
0.85 nbConstraints=646 nbConflictsStructures=4 nbSharedConflictsStructures=594 nbUnbuiltConflictsStructures=2
0.85 nbSharedBinaryRepresentations=0 nbEvaluationManagers=6 nbSharedEvaluationManagers=640 maxDegree=24 maxArity=25
0.85 => wckTime=0.548 cpuTime=0.42 mem=37M149
0.92
0.92 solver IterativeSystematicSolver being built...
1.17 => wckTime=0.864 cpuTime=0.62 mem=36M343
1.19
1.19 preprocessing
1.19 nbConstraintChecks=0 nbPropagations=863 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.19 detectedInconsistency=no
1.19 => wckTime=0.02 cpuTime=0.02 mem=37M317
8.20
8.20 search
8.20 run=0 nbConstraintChecks=3218145 nbValidityChecks=12220 nbPropagations=2567 nbRevisions=12515
8.20 nbUselessRevisions=11636 nbAssignments=825 nbFailedAssignments=3 nbBacktracks=24 nbVisitedNodes=829
8.20 nbRestartNogoods=0 mapSize=4 nbInferences=0 nbTooLargeKeys=0
8.20 => wckTime=7.03 cpuTime=6.93 mem=39M265
17.30
17.30 search
17.30 run=1 nbConstraintChecks=7484664 nbValidityChecks=15091 nbPropagations=6325 nbRevisions=28888
17.30 nbUselessRevisions=26310 nbAssignments=1196 nbFailedAssignments=6 nbBacktracks=69 nbVisitedNodes=1203
17.30 nbRestartNogoods=2 mapSize=7 nbInferences=0 nbTooLargeKeys=0
17.30 => wckTime=16.124 cpuTime=15.96 mem=39M265
17.51
17.51 search
17.51 run=2 nbConstraintChecks=7556983 nbValidityChecks=17277 nbPropagations=11240 nbRevisions=48274
17.51 nbUselessRevisions=43176 nbAssignments=1531 nbFailedAssignments=12 nbBacktracks=93 nbVisitedNodes=1544
17.51 nbRestartNogoods=3 mapSize=18 nbInferences=0 nbTooLargeKeys=0
17.52 => wckTime=16.342 cpuTime=16.16 mem=40M239
25.48
25.48 search
25.48 run=3 nbConstraintChecks=11299191 nbValidityChecks=19831 nbPropagations=17340 nbRevisions=71202
25.48 nbUselessRevisions=62765 nbAssignments=1896 nbFailedAssignments=15 nbBacktracks=141 nbVisitedNodes=1912
25.48 nbRestartNogoods=4 mapSize=22 nbInferences=0 nbTooLargeKeys=0
25.48 => wckTime=24.305 cpuTime=24.06 mem=40M239
36.83
36.83 search
36.83 run=4 nbConstraintChecks=16614260 nbValidityChecks=22505 nbPropagations=24664 nbRevisions=97780
36.83 nbUselessRevisions=85165 nbAssignments=2280 nbFailedAssignments=19 nbBacktracks=207 nbVisitedNodes=2300
36.83 nbRestartNogoods=5 mapSize=26 nbInferences=0 nbTooLargeKeys=0
36.83 => wckTime=35.658 cpuTime=35.29 mem=41M213
63.66
63.66 search
63.66 run=5 nbConstraintChecks=29269396 nbValidityChecks=24982 nbPropagations=33216 nbRevisions=127802
63.66 nbUselessRevisions=110163 nbAssignments=2657 nbFailedAssignments=30 nbBacktracks=298 nbVisitedNodes=2688
63.66 nbRestartNogoods=6 mapSize=41 nbInferences=0 nbTooLargeKeys=0
63.66 => wckTime=62.488 cpuTime=61.92 mem=41M213
75.17
75.17 search
75.17 run=6 nbConstraintChecks=34582461 nbValidityChecks=29266 nbPropagations=43032 nbRevisions=162670
75.17 nbUselessRevisions=139214 nbAssignments=3127 nbFailedAssignments=35 nbBacktracks=413 nbVisitedNodes=3163
75.17 nbRestartNogoods=7 mapSize=55 nbInferences=0 nbTooLargeKeys=0
75.17 => wckTime=73.993 cpuTime=73.31 mem=42M187
102.33
102.33 search
102.33 run=7 nbConstraintChecks=47237526 nbValidityChecks=33665 nbPropagations=54248 nbRevisions=202459
102.33 nbUselessRevisions=172348 nbAssignments=3687 nbFailedAssignments=53 nbBacktracks=611 nbVisitedNodes=3741
102.33 nbRestartNogoods=8 mapSize=77 nbInferences=0 nbTooLargeKeys=0
102.33 => wckTime=101.155 cpuTime=100.25 mem=43M161
296.58
296.58 search
296.58 run=8 nbConstraintChecks=139060177 nbValidityChecks=40841 nbPropagations=67531 nbRevisions=249312
296.58 nbUselessRevisions=211224 nbAssignments=4432 nbFailedAssignments=138 nbBacktracks=874 nbVisitedNodes=4571
296.58 nbRestartNogoods=9 mapSize=168 nbInferences=0 nbTooLargeKeys=0
296.58 => wckTime=295.403 cpuTime=292.91 mem=44M135
438.61
438.61 search
438.61 run=9 nbConstraintChecks=206243414 nbValidityChecks=50318 nbPropagations=83048 nbRevisions=305104
438.61 nbUselessRevisions=257663 nbAssignments=5290 nbFailedAssignments=243 nbBacktracks=1262 nbVisitedNodes=5534
438.61 nbRestartNogoods=12 mapSize=257 nbInferences=0 nbTooLargeKeys=0
438.61 => wckTime=437.437 cpuTime=433.75 mem=46M83
535.37
535.37 search
535.37 run=10 nbConstraintChecks=251405348 nbValidityChecks=74324 nbPropagations=101065 nbRevisions=383259
535.37 nbUselessRevisions=325030 nbAssignments=6371 nbFailedAssignments=304 nbBacktracks=1868 nbVisitedNodes=6676
535.37 nbRestartNogoods=14 mapSize=337 nbInferences=0 nbTooLargeKeys=0
535.37 => wckTime=534.199 cpuTime=529.72 mem=48M31
691.36
691.37 search
691.37 run=11 nbConstraintChecks=324947370 nbValidityChecks=131869 nbPropagations=125789 nbRevisions=513239
691.37 nbUselessRevisions=438889 nbAssignments=7762 nbFailedAssignments=410 nbBacktracks=2733 nbVisitedNodes=8173
691.37 nbRestartNogoods=16 mapSize=494 nbInferences=0 nbTooLargeKeys=0
691.37 => wckTime=690.193 cpuTime=684.42 mem=49M978
1044.10
1044.10 search
1044.10 run=12 nbConstraintChecks=493455510 nbValidityChecks=257385 nbPropagations=167074 nbRevisions=748720
1044.10 nbUselessRevisions=643840 nbAssignments=9934 nbFailedAssignments=677 nbBacktracks=4030 nbVisitedNodes=10612
1044.10 nbRestartNogoods=17 mapSize=888 nbInferences=0 nbTooLargeKeys=0
1044.10 => wckTime=1042.928 cpuTime=1035.41 mem=11M975
1203.30
1203.30 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=13M951)
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-210405-1168075062 -o ROOT/results/node12/solver-210405-1168075062 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210405-1168075062/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.18 1.69 1.82 4/93 21058
/proc/meminfo: memFree=1534112/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=18540 CPUtime=0
/proc/21057/stat : 21057 (runsolver) R 21055 21057 20990 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 155901854 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/21057/statm: 4635 279 244 17 0 2626 0
[startup+0.106933 s]
/proc/loadavg: 1.18 1.69 1.82 4/93 21058
/proc/meminfo: memFree=1534112/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=914988 CPUtime=0.09
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 3029 0 1 0 7 2 0 0 25 0 8 0 155901854 936947712 2775 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155476878 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228747 2775 1439 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515007 s]
/proc/loadavg: 1.18 1.69 1.82 4/93 21058
/proc/meminfo: memFree=1534112/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915328 CPUtime=0.49
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 6845 0 1 0 44 5 0 0 25 0 8 0 155901854 937295872 6584 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072897127 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228832 6584 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33715 s]
/proc/loadavg: 1.18 1.69 1.82 3/100 21065
/proc/meminfo: memFree=1484712/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=1.3
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 15101 0 1 0 117 13 0 0 25 0 8 0 155901854 937549824 14839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073952937 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 14839 2529 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.05
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 993 0 0 0 5 0 0 0 17 0 8 0 155901858 937549824 14839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.23
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 409 0 0 0 22 1 0 0 15 0 8 0 155901861 937549824 14839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 14839 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915576
[startup+2.97444 s]
/proc/loadavg: 1.18 1.69 1.82 3/100 21065
/proc/meminfo: memFree=1484520/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=2.92
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 15108 0 1 0 279 13 0 0 25 0 8 0 155901854 937549824 14846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073752138 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 14846 2529 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.05
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 993 0 0 0 5 0 0 0 16 0 8 0 155901858 937549824 14846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.25
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 416 0 0 0 24 1 0 0 15 0 8 0 155901861 937549824 14846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 14846 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915576
[startup+6.27003 s]
/proc/loadavg: 1.25 1.69 1.82 3/100 21065
/proc/meminfo: memFree=1484520/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=6.19
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 15111 0 1 0 606 13 0 0 25 0 8 0 155901854 937549824 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073749324 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 14848 2530 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.05
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 993 0 0 0 5 0 0 0 16 0 8 0 155901858 937549824 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.25
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 416 0 0 0 24 1 0 0 15 0 8 0 155901861 937549824 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 14848 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915576
[startup+12.7432 s]
/proc/loadavg: 1.31 1.70 1.82 3/100 21065
/proc/meminfo: memFree=1484520/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=12.61
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 15124 0 1 0 1248 13 0 0 25 0 8 0 155901854 937549824 14858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748470 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 14858 2533 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.05
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 994 0 0 0 5 0 0 0 16 0 8 0 155901858 937549824 14858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.26
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 423 0 0 0 25 1 0 0 16 0 8 0 155901861 937549824 14858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 14858 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 915576
[startup+25.5955 s]
/proc/loadavg: 1.46 1.71 1.82 3/100 21065
/proc/meminfo: memFree=1484520/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=25.37
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 15134 0 1 0 2523 14 0 0 25 0 8 0 155901854 937549824 14867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4074043986 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 14867 2533 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.05
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 994 0 0 0 5 0 0 0 16 0 8 0 155901858 937549824 14867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.27
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 432 0 0 0 26 1 0 0 16 0 8 0 155901861 937549824 14867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 14867 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 915576
[startup+51.2901 s]
/proc/loadavg: 1.64 1.73 1.82 3/100 21067
/proc/meminfo: memFree=1484128/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=50.84
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 15180 0 1 0 5070 14 0 0 25 0 8 0 155901854 937549824 14912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073757328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 14912 2533 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.05
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 994 0 0 0 5 0 0 0 16 0 8 0 155901858 937549824 14912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 14912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.28
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 432 0 0 0 27 1 0 0 16 0 8 0 155901861 937549824 14912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 14912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 14912 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 915576
[startup+102.574 s]
/proc/loadavg: 1.92 1.79 1.83 3/100 21067
/proc/meminfo: memFree=1482664/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=101.7
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 15736 0 1 0 10156 14 0 0 25 0 8 0 155901854 937549824 15468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754080 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 15468 2533 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.05
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 994 0 0 0 5 0 0 0 16 0 8 0 155901858 937549824 15468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 15468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 15468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 15468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.28
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 433 0 0 0 27 1 0 0 16 0 8 0 155901861 937549824 15468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 15468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 15468 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 915576
[startup+162.594 s]
/proc/loadavg: 1.97 1.82 1.84 3/100 21067
/proc/meminfo: memFree=1481832/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=161.21
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 15792 0 1 0 16107 14 0 0 25 0 8 0 155901854 937549824 15524 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747088 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1413.76
Current children cumulated vsize (KiB) 915576
[startup+1483.05 s]
/proc/loadavg: 2.00 2.00 1.92 4/100 21125
/proc/meminfo: memFree=1332200/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=1473.51
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 19549 0 1 0 147330 21 0 0 25 0 8 0 155901854 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479196 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 19275 2537 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.08
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 2467 0 0 0 7 1 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.29
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 440 0 0 0 28 1 0 0 16 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1473.51
Current children cumulated vsize (KiB) 915576
[startup+1543.06 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21125
/proc/meminfo: memFree=1332136/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=1533.25
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 19549 0 1 0 153304 21 0 0 25 0 8 0 155901854 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073754976 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 19275 2537 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.08
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 2467 0 0 0 7 1 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.29
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 440 0 0 0 28 1 0 0 16 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1533.25
Current children cumulated vsize (KiB) 915576
[startup+1603.08 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21125
/proc/meminfo: memFree=1332136/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=1592.97
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 19549 0 1 0 159275 22 0 0 25 0 8 0 155901854 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751328 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 19275 2537 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.08
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 2467 0 0 0 7 1 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.29
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 440 0 0 0 28 1 0 0 16 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1592.97
Current children cumulated vsize (KiB) 915576
[startup+1663.11 s]
/proc/loadavg: 2.07 2.02 1.92 3/100 21125
/proc/meminfo: memFree=1332008/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=1652.72
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 19549 0 1 0 165250 22 0 0 25 0 8 0 155901854 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073747061 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 19275 2537 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.08
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 2467 0 0 0 7 1 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.29
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 440 0 0 0 28 1 0 0 16 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1652.72
Current children cumulated vsize (KiB) 915576
[startup+1723.13 s]
/proc/loadavg: 2.02 2.01 1.92 3/100 21125
/proc/meminfo: memFree=1332008/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=1712.46
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 19549 0 1 0 171224 22 0 0 25 0 8 0 155901854 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751400 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 19275 2537 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.08
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 2467 0 0 0 7 1 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.29
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 440 0 0 0 28 1 0 0 16 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1712.46
Current children cumulated vsize (KiB) 915576
[startup+1783.14 s]
/proc/loadavg: 2.01 2.00 1.92 3/100 21125
/proc/meminfo: memFree=1331944/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=1772.18
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 19549 0 1 0 177196 22 0 0 25 0 8 0 155901854 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751010 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 19275 2537 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.08
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 2467 0 0 0 7 1 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.29
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 440 0 0 0 28 1 0 0 16 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1772.18
Current children cumulated vsize (KiB) 915576
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1811.09 s]
/proc/loadavg: 2.00 2.00 1.92 3/100 21125
/proc/meminfo: memFree=1331944/2055920 swapFree=4160348/4192956
[pid=21057] ppid=21055 vsize=915576 CPUtime=1800.01
/proc/21057/stat : 21057 (java) R 21055 21057 20990 0 -1 0 19549 0 1 0 179979 22 0 0 25 0 8 0 155901854 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073751388 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21057/statm: 228894 19275 2537 14 0 215364 0
[pid=21057/tid=21059] ppid=21055 vsize=915576 CPUtime=0.08
/proc/21057/task/21059/stat : 21059 (java) S 21055 21057 20990 0 -1 64 2467 0 0 0 7 1 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21060] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21060/stat : 21060 (java) S 21055 21057 20990 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21061] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21061/stat : 21061 (java) S 21055 21057 20990 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155901858 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21062] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21062/stat : 21062 (java) S 21055 21057 20990 0 -1 64 0 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21063] ppid=21055 vsize=915576 CPUtime=0.29
/proc/21057/task/21063/stat : 21063 (java) S 21055 21057 20990 0 -1 64 440 0 0 0 28 1 0 0 16 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21064] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21064/stat : 21064 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 25 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21057/tid=21065] ppid=21055 vsize=915576 CPUtime=0
/proc/21057/task/21065/stat : 21065 (java) S 21055 21057 20990 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155901861 937549824 19275 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 915576
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Child status: 143
Real time (s): 1811.15
CPU time (s): 1800.08
CPU user time (s): 1799.84
CPU system time (s): 0.239963
CPU usage (%): 99.3884
Max. virtual memory (cumulated for all children) (KiB): 915576
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.239963
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19565
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= 38062
involuntary context switches= 64912
runsolver used 1.86972 s user time and 4.73428 s system time
The end
Begin job on node12 on Sat Jan 6 09:17:45 UTC 2007
IDJOB= 210405
IDBENCH= 4617
FILE ID= node12/210405-1168075062
PBS_JOBID= 3475795
Free space on /tmp= 66310 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-25-23.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210405-1168075062/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-210405-1168075062 -o ROOT/results/node12/solver-210405-1168075062 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210405-1168075062/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= d1e2f3220fab5fbd5475193200eb5868
RANDOM SEED= 726253817
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.265
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.265
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: 1534720 kB
Buffers: 30496 kB
Cached: 256676 kB
SwapCached: 4684 kB
Active: 216560 kB
Inactive: 223752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1534720 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 2088 kB
Writeback: 0 kB
Mapped: 172872 kB
Slab: 65572 kB
Committed_AS: 4740536 kB
PageTables: 2360 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= 66315 MiB
End job on node12 on Sat Jan 6 09:47:59 UTC 2007