0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2097634-1247413734.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.37 nbVariables=20 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=100
0.28/0.37 => wckTime=0.131 cpuTime=0.14 mem=7M892
0.28/0.38
0.28/0.38 relations being loaded...
3.36/3.49
3.36/3.49 INFO : Contraction of relations, mem = 108M87
5.25/5.34
5.25/5.34 constraints being loaded...
8.04/8.19 nbConstraints=18 nbRelationTypes=18 nbGlobalConstraints=18 nbExtensionStructures=18
8.04/8.19 nbSharedExtensionStructures=0 nbConflictsStructures=18 nbSharedConflictsStructures=0
8.04/8.20 nbSharedBinaryRepresentations=0 minDegree=4 maxDegree=11 minArity=8 maxArity=8 nbGenerators=0 nbFusions=0
8.04/8.20 symmetryWckTime=0.073 symmetryCpuTime=0.02
8.04/8.20 => wckTime=7.951 cpuTime=6.56 mem=183M189
9.03/9.18
9.03/9.18 solver IterativeSystematicSolver being built...
9.13/9.24
9.13/9.24 INFO : Forward propagation technique limited
9.23/9.31 => wckTime=9.068 cpuTime=6.68 mem=179M890
9.62/9.70
9.62/9.70 preprocessing
9.62/9.70 nbConstraintChecks=0 nbValidityChecks=4925193 nbPropagations=55 nbRevisions=0 nbUselessRevisions=0
9.62/9.70 nbSingletonTests=23 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0
9.62/9.70 detectedInconsistency=no
9.62/9.70 => wckTime=0.385 cpuTime=0.38 mem=179M890
11.11/11.30
11.11/11.30 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=181M692)
248.56/249.83
248.56/249.83 search
248.56/249.83 run=18 nbConstraintChecks=195661 nbValidityChecks=1161017439 minDepth=2 maxDepth=20 nbPropagations=1306155
248.56/249.83 nbRevisions=0 nbUselessRevisions=0 nbAssignments=63576 nbFailedAssignments=38805 nbBacktracks=24611
248.56/249.83 nbVisitedNodes=120015 nbRestartNogoods=146 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=8.94
248.56/249.83 nbIEliminables=3.14 nbDEliminables=0 nbPEliminables=0
248.56/249.83 => wckTime=240.512 cpuTime=239.25 mem=182M561
248.56/249.83
248.56/249.83 global
248.56/249.83 nbConstraintChecks=195661 nbValidityChecks=1165942632 nbPropagations=1306210 nbRestartNogoods=146
248.56/249.83 solvingWckTime=240.516 solvingCpuTime=239.26 expiredTime=no totalExploration=no nbFoundSolutions=1
248.56/249.83 firstSolutionCpuTime=245.93 globalCpuTime=245.99
248.56/249.83 => wckTime=249.585 cpuTime=245.94 mem=182M561
248.56/249.83
248.56/249.83 s SATISFIABLE
248.56/249.83 v 3 1 4 2 4 3 4 4 2 3 3 1 3 2 0 0 4 4 2 1
248.56/249.83 d NODES 63576
248.56/249.83 d CHECKS 195661
248.56/249.83
248.56/249.83 totalWckTime=249.642 totalCpuTime=245.99
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2097634-1247413734/watcher-2097634-1247413734 -o /tmp/evaluation-result-2097634-1247413734/solver-2097634-1247413734 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097634-1247413734.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 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
[startup+0 s]
/proc/loadavg: 1.96 2.08 2.04 4/80 3685
/proc/meminfo: memFree=1685976/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=1616 CPUtime=0
/proc/3685/stat : 3685 (java) D 3683 3685 32687 0 -1 0 317 0 0 0 0 0 0 0 18 0 1 0 28436334 1654784 126 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/3685/statm: 404 151 125 9 0 46 0
[startup+0.0476741 s]
/proc/loadavg: 1.96 2.08 2.04 4/80 3685
/proc/meminfo: memFree=1685976/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=861936 CPUtime=0.03
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 2296 0 1 0 1 2 0 0 18 0 5 0 28436334 882622464 1896 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 215484 1898 867 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.105677 s]
/proc/loadavg: 1.96 2.08 2.04 4/80 3685
/proc/meminfo: memFree=1685976/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=865984 CPUtime=0.09
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 3788 0 1 0 7 2 0 0 18 0 9 0 28436334 886767616 3239 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216496 3239 1708 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301695 s]
/proc/loadavg: 1.96 2.08 2.04 4/80 3685
/proc/meminfo: memFree=1685976/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=866224 CPUtime=0.28
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 5853 0 1 0 25 3 0 0 18 0 9 0 28436334 887013376 5219 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216556 5219 1974 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866224
[startup+0.701739 s]
/proc/loadavg: 1.96 2.08 2.04 4/80 3685
/proc/meminfo: memFree=1685976/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=866496 CPUtime=0.69
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 10915 0 1 0 63 6 0 0 18 0 9 0 28436334 887291904 10277 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216624 10277 1999 9 0 211082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 866496
[startup+1.50283 s]
/proc/loadavg: 1.96 2.08 2.04 3/89 3694
/proc/meminfo: memFree=1613520/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=866628 CPUtime=1.47
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 23941 0 1 0 135 12 0 0 18 0 9 0 28436334 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216657 23301 2010 9 0 211115 0
[pid=3685/tid=3686] ppid=3683 vsize=866628 CPUtime=1.3
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 15697 0 1 0 121 9 0 0 25 0 9 0 28436335 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4126584023 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=866628 CPUtime=0.08
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 7205 0 0 0 6 2 0 0 16 0 9 0 28436337 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28436337 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28436337 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28436339 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=866628 CPUtime=0.07
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 343 0 0 0 7 0 0 0 16 0 9 0 28436339 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28436339 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28436339 887427072 23301 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 866628
[startup+3.10299 s]
/proc/loadavg: 1.96 2.08 2.04 3/89 3694
/proc/meminfo: memFree=1595024/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=866628 CPUtime=3.07
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 32896 0 1 0 289 18 0 0 18 0 9 0 28436334 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216657 32252 2010 9 0 211115 0
[pid=3685/tid=3686] ppid=3683 vsize=866628 CPUtime=2.69
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 15701 0 1 0 259 10 0 0 25 0 9 0 28436335 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4126586956 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=866628 CPUtime=0.27
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 16152 0 0 0 21 6 0 0 16 0 9 0 28436337 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 11 0 0 0 0 0 0 0 19 0 9 0 28436337 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 4 0 0 0 0 0 0 0 20 0 9 0 28436337 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28436339 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=866628 CPUtime=0.07
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 347 0 0 0 7 0 0 0 16 0 9 0 28436339 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28436339 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=866628 CPUtime=0
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28436339 887427072 32252 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 866628
[startup+6.30132 s]
/proc/loadavg: 1.96 2.08 2.04 3/89 3694
/proc/meminfo: memFree=1535632/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867164 CPUtime=6.24
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 45927 0 1 0 601 23 0 0 18 0 9 0 28436334 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216791 43116 2633 9 0 211249 0
[pid=3685/tid=3686] ppid=3683 vsize=867164 CPUtime=5.14
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 15751 0 1 0 503 11 0 0 25 0 9 0 28436335 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 104514002 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867164 CPUtime=0.96
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 28979 0 0 0 85 11 0 0 16 0 9 0 28436337 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867164 CPUtime=0
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 28436337 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867164 CPUtime=0
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 28436337 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867164 CPUtime=0
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 0 0 0 0 0 0 0 18 0 9 0 28436339 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867164 CPUtime=0.12
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 496 0 0 0 12 0 0 0 16 0 9 0 28436339 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867164 CPUtime=0
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 28436339 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867164 CPUtime=0
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 28436339 887975936 43116 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867164
[startup+12.703 s]
/proc/loadavg: 1.97 2.08 2.04 3/89 3698
/proc/meminfo: memFree=1456584/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=12.6
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 107699 268 1 0 1217 41 0 2 18 0 9 0 28436334 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59832 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=10.22
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19313 268 1 0 1007 13 0 2 25 0 9 0 28436335 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4126848133 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 17 0 9 0 28436337 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.24
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 658 268 0 0 22 0 0 2 16 0 9 0 28436339 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59832 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 867576
[startup+25.5013 s]
/proc/loadavg: 1.97 2.08 2.04 3/89 3698
/proc/meminfo: memFree=1456648/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=25.34
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 107745 268 1 0 2490 42 0 2 18 0 9 0 28436334 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59847 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=22.92
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19339 268 1 0 2277 13 0 2 25 0 9 0 28436335 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4126848506 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 678 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867576
[startup+51.1019 s]
/proc/loadavg: 1.98 2.07 2.03 3/89 3698
/proc/meminfo: memFree=1456712/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=50.82
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 107788 268 1 0 5038 42 0 2 18 0 9 0 28436334 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59847 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=48.4
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19382 268 1 0 4825 13 0 2 25 0 9 0 28436335 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4126848117 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 678 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59847 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 108092 268 1 0 24144 43 0 2 18 0 9 0 28436334 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59848 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=239.47
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19685 268 1 0 23931 14 0 2 25 0 9 0 28436335 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4126848274 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 679 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 241.89
Current children cumulated vsize (KiB) 867576
[startup+246.302 s]
/proc/loadavg: 1.99 2.03 2.01 3/89 3700
/proc/meminfo: memFree=1456456/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=245.08
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 108098 268 1 0 24463 43 0 2 18 0 9 0 28436334 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59848 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=242.65
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19691 268 1 0 24249 14 0 2 25 0 9 0 28436335 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4126848352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 679 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 245.08
Current children cumulated vsize (KiB) 867576
[startup+247.901 s]
/proc/loadavg: 1.99 2.03 2.01 3/89 3700
/proc/meminfo: memFree=1456456/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=246.67
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 108100 268 1 0 24622 43 0 2 18 0 9 0 28436334 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59848 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=244.24
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19693 268 1 0 24408 14 0 2 25 0 9 0 28436335 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4126848207 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 679 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 246.67
Current children cumulated vsize (KiB) 867576
[startup+248.701 s]
/proc/loadavg: 1.99 2.03 2.01 3/89 3700
/proc/meminfo: memFree=1456456/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=247.46
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 108102 268 1 0 24701 43 0 2 18 0 9 0 28436334 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59848 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=245.04
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19695 268 1 0 24488 14 0 2 25 0 9 0 28436335 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4126848091 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 679 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 247.46
Current children cumulated vsize (KiB) 867576
[startup+249.502 s]
/proc/loadavg: 1.99 2.03 2.01 3/89 3700
/proc/meminfo: memFree=1456456/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=248.26
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 108103 268 1 0 24781 43 0 2 18 0 9 0 28436334 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59848 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=245.84
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19696 268 1 0 24568 14 0 2 25 0 9 0 28436335 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4126848688 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 679 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 248.26
Current children cumulated vsize (KiB) 867576
[startup+249.706 s]
/proc/loadavg: 1.99 2.03 2.01 4/89 3700
/proc/meminfo: memFree=1456456/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=248.46
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 108103 268 1 0 24801 43 0 2 18 0 9 0 28436334 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59848 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=246.04
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19696 268 1 0 24588 14 0 2 25 0 9 0 28436335 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4126848304 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 679 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 248.46
Current children cumulated vsize (KiB) 867576
[startup+249.802 s]
/proc/loadavg: 1.99 2.03 2.01 4/89 3700
/proc/meminfo: memFree=1456456/2055920 swapFree=4192812/4192956
[pid=3685] ppid=3683 vsize=867576 CPUtime=248.56
/proc/3685/stat : 3685 (java) S 3683 3685 32687 0 -1 0 108103 268 1 0 24811 43 0 2 18 0 9 0 28436334 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/3685/statm: 216894 59848 2661 9 0 211330 0
[pid=3685/tid=3686] ppid=3683 vsize=867576 CPUtime=246.13
/proc/3685/task/3686/stat : 3686 (java) R 3683 3685 32687 0 -1 64 19696 268 1 0 24597 14 0 2 25 0 9 0 28436335 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4126848274 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3688] ppid=3683 vsize=867576 CPUtime=2.13
/proc/3685/task/3688/stat : 3688 (java) S 3683 3685 32687 0 -1 64 86879 268 0 0 186 25 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3689] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3689/stat : 3689 (java) S 3683 3685 32687 0 -1 64 20 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3690] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3690/stat : 3690 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 16 0 9 0 28436337 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3691] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3691/stat : 3691 (java) S 3683 3685 32687 0 -1 64 2 268 0 0 0 0 0 2 18 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3692] ppid=3683 vsize=867576 CPUtime=0.28
/proc/3685/task/3692/stat : 3692 (java) S 3683 3685 32687 0 -1 64 679 268 0 0 26 0 0 2 16 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3693] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3693/stat : 3693 (java) S 3683 3685 32687 0 -1 64 0 268 0 0 0 0 0 2 19 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=3685/tid=3694] ppid=3683 vsize=867576 CPUtime=0.02
/proc/3685/task/3694/stat : 3694 (java) S 3683 3685 32687 0 -1 64 10 268 0 0 0 0 0 2 15 0 9 0 28436339 888397824 59848 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 248.56
Current children cumulated vsize (KiB) 867576
Child status: 0
Real time (s): 249.887
CPU time (s): 248.645
CPU user time (s): 248.144
CPU system time (s): 0.500923
CPU usage (%): 99.5032
Max. virtual memory (cumulated for all children) (KiB): 871168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 248.144
system time used= 0.500923
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108495
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= 6317
involuntary context switches= 11492
runsolver used 0.337948 second user time and 0.810876 second system time
The end
Begin job on node67 at 2009-07-12 17:48:56
IDJOB=2097634
IDBENCH=57582
IDSOLVER=774
FILE ID=node67/2097634-1247413734
PBS_JOBID= 9510514
Free space on /tmp= 66488 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-1_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2097634-1247413734/watcher-2097634-1247413734 -o /tmp/evaluation-result-2097634-1247413734/solver-2097634-1247413734 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2097634-1247413734.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 777fc5a1408e3970fe4cdc5b66e8ea16
RANDOM SEED=1407828631
node67.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/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.239
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.239
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: 1686456 kB
Buffers: 42220 kB
Cached: 176808 kB
SwapCached: 0 kB
Active: 206808 kB
Inactive: 102524 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1686456 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 24104 kB
Writeback: 0 kB
Mapped: 110780 kB
Slab: 45092 kB
Committed_AS: 1019244 kB
PageTables: 1988 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= 66488 MiB
End job on node67 at 2009-07-12 17:53:06