0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.25
0.18/0.25 configuration
0.18/0.25 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2095223-1247406967.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.48/0.55 nbVariables=2221 nbDomainTypes=3 minDomainSize=1 maxDomainSize=2 nbTotalValues=4082
0.48/0.55 => wckTime=0.293 cpuTime=0.18 mem=13M744
0.48/0.55
0.48/0.55 predicates being loaded...
0.59/0.61
0.59/0.61 constraints being loaded...
5.76/5.86 nbConstraints=2650 nbGlobalConstraints=2 nbMergedConstraints=401 nbSingletonDomainVariables=360
5.86/5.93 nbConvertedConstraints=1539 nbConvertConstraintsChecks=45 nbExtensionStructures=9
5.86/5.93 nbSharedExtensionStructures=1534 nbConflictsStructures=16 nbSharedConflictsStructures=2276
5.86/5.93 nbUnbuiltConflictsStructures=26 nbSharedBinaryRepresentations=21 nbEvaluationManagers=33
5.86/5.93 nbSharedEvaluationManagers=1076 minDegree=2 maxDegree=50 minArity=2 avgArity=4.61 maxArity=20 nbGenerators=2
5.86/5.93 nbFusions=0 symmetryWckTime=0.261 symmetryCpuTime=0.13
5.86/5.93 => wckTime=5.605 cpuTime=5.15 mem=23M511
5.86/5.97
5.86/5.97 solver IterativeSystematicSolver being built...
6.07/6.11
6.07/6.11 INFO : Forward propagation technique limited
6.16/6.27 => wckTime=6.021 cpuTime=5.41 mem=59M691
47.68/48.11
47.68/48.11 preprocessing
47.68/48.11 nbConstraintChecks=23687105 nbValidityChecks=6791 nbPropagations=2221 nbRevisions=6840 nbUselessRevisions=6840
47.68/48.11 nbRemovedValues=0 detectedInconsistency=no
47.68/48.11 => wckTime=41.831 cpuTime=41.42 mem=59M691
81.17/81.98
81.17/81.98 search
81.17/81.98 run=4 nbConstraintChecks=18016959 nbValidityChecks=507423 minDepth=0 maxDepth=16 nbPropagations=34870
81.17/81.98 nbRevisions=1018615 nbUselessRevisions=991889 nbAssignments=593 nbFailedAssignments=106 nbBacktracks=407
81.17/81.98 nbVisitedNodes=805 nbRestartNogoods=12 nbSEliminables=? nbREliminables=? nbIEliminables=? nbDEliminables=?
81.17/81.98 nbPEliminables=?
81.17/81.98 => wckTime=75.697 cpuTime=74.9 mem=19M675
81.17/81.98
81.17/81.98 global
81.17/81.98 nbConstraintChecks=41704064 nbValidityChecks=514214 nbPropagations=37091 nbRevisions=1025455
81.17/81.98 nbUselessRevisions=998729 nbRestartNogoods=12 solvingWckTime=75.7 solvingCpuTime=74.91 expiredTime=no
81.17/81.98 totalExploration=yes nbFoundSolutions=0 globalCpuTime=80.36
81.17/81.98 => wckTime=81.727 cpuTime=80.32 mem=19M675
81.17/81.98
81.17/81.98 s UNSATISFIABLE
81.17/81.98 d NODES 593
81.17/81.98 d CHECKS 41704064
81.17/81.98
81.17/81.98 totalWckTime=81.795 totalCpuTime=80.36
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095223-1247406967/watcher-2095223-1247406967 -o /tmp/evaluation-result-2095223-1247406967/solver-2095223-1247406967 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095223-1247406967.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: 2.08 2.02 2.01 4/80 28594
/proc/meminfo: memFree=1693344/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=18576 CPUtime=0
/proc/28594/stat : 28594 (runsolver) R 28592 28594 28057 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 27761417 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 240907775271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/28594/statm: 4644 284 249 26 0 2626 0
[startup+0.043651 s]
/proc/loadavg: 2.08 2.02 2.01 4/80 28594
/proc/meminfo: memFree=1693344/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=861936 CPUtime=0.03
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 2294 0 1 0 2 1 0 0 18 0 5 0 27761417 882622464 1894 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 215484 1894 867 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.108538 s]
/proc/loadavg: 2.08 2.02 2.01 4/80 28594
/proc/meminfo: memFree=1693344/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=865984 CPUtime=0.09
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 3799 0 1 0 8 1 0 0 18 0 9 0 27761417 886767616 3251 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 216496 3251 1717 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301549 s]
/proc/loadavg: 2.08 2.02 2.01 4/80 28594
/proc/meminfo: memFree=1693344/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=866380 CPUtime=0.28
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 5942 0 1 0 25 3 0 0 18 0 9 0 27761417 887173120 5308 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 216595 5308 1983 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701589 s]
/proc/loadavg: 2.08 2.02 2.01 4/80 28594
/proc/meminfo: memFree=1693344/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=867620 CPUtime=0.69
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 9707 0 1 0 64 5 0 0 18 0 9 0 27761417 888442880 9061 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 216905 9061 2040 9 0 211341 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 867620
[startup+1.50167 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 28603
/proc/meminfo: memFree=1645848/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=867532 CPUtime=1.49
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 18648 0 1 0 131 18 0 0 18 0 9 0 27761417 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 216883 17974 2032 9 0 211341 0
[pid=28594/tid=28596] ppid=28592 vsize=867532 CPUtime=1.2
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 15823 0 1 0 104 16 0 0 19 0 9 0 27761418 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 102883238 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28597] ppid=28592 vsize=867532 CPUtime=0.04
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 1432 0 0 0 4 0 0 0 17 0 9 0 27761420 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28598] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27761420 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28599] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27761420 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28600] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27761422 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=867532 CPUtime=0.21
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 691 0 0 0 21 0 0 0 15 0 9 0 27761422 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28602] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27761422 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27761422 888352768 17974 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 867532
[startup+3.10183 s]
/proc/loadavg: 2.07 2.02 2.00 4/89 28603
/proc/meminfo: memFree=1628888/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=867532 CPUtime=3.09
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 20106 0 1 0 290 19 0 0 18 0 9 0 27761417 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 216883 19430 2032 9 0 211341 0
[pid=28594/tid=28596] ppid=28592 vsize=867532 CPUtime=2.75
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 15829 0 1 0 259 16 0 0 25 0 9 0 27761418 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4126883961 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28597] ppid=28592 vsize=867532 CPUtime=0.08
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 2877 0 0 0 7 1 0 0 16 0 9 0 27761420 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28598] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 27761420 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28599] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27761420 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28600] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 27761422 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=867532 CPUtime=0.22
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 698 0 0 0 22 0 0 0 15 0 9 0 27761422 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=28594/tid=28602] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 27761422 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=867532 CPUtime=0
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27761422 888352768 19430 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 867532
[startup+6.30215 s]
/proc/loadavg: 2.07 2.02 2.00 3/89 28603
/proc/meminfo: memFree=1622296/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868268 CPUtime=6.27
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 38651 575 1 0 592 26 8 1 18 0 9 0 27761417 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217067 21946 2662 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868268 CPUtime=5.72
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28512 575 1 0 542 21 8 1 19 0 9 0 27761418 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4125950834 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868268 CPUtime=0.29
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 8372 575 0 0 18 2 8 1 16 0 9 0 27761420 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 12 575 0 0 0 0 8 1 16 0 9 0 27761420 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868268 CPUtime=0.4
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 914 575 0 0 31 0 8 1 15 0 9 0 27761422 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 14 575 0 0 0 0 8 1 15 0 9 0 27761422 889106432 21946 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 868268
[startup+12.7028 s]
/proc/loadavg: 2.13 2.03 2.01 3/89 28607
/proc/meminfo: memFree=1615192/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868268 CPUtime=12.61
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 38658 575 1 0 1226 26 8 1 18 0 9 0 27761417 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217067 21949 2662 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868268 CPUtime=12.05
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28513 575 1 0 1175 21 8 1 25 0 9 0 27761418 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4127167120 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868268 CPUtime=0.29
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 8373 575 0 0 18 2 8 1 16 0 9 0 27761420 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 12 575 0 0 0 0 8 1 16 0 9 0 27761420 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868268 CPUtime=0.41
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 918 575 0 0 32 0 8 1 16 0 9 0 27761422 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) R 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889106432 21949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 868268
[startup+25.5011 s]
/proc/loadavg: 2.11 2.03 2.01 3/89 28607
/proc/meminfo: memFree=1615256/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868268 CPUtime=25.28
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 38667 575 1 0 2493 26 8 1 18 0 9 0 27761417 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217067 21954 2662 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868268 CPUtime=24.72
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28515 575 1 0 2442 21 8 1 25 0 9 0 27761418 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4127316720 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868268 CPUtime=0.29
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 8373 575 0 0 18 2 8 1 17 0 9 0 27761420 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 12 575 0 0 0 0 8 1 16 0 9 0 27761420 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868268 CPUtime=0.42
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 925 575 0 0 33 0 8 1 16 0 9 0 27761422 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868268 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889106432 21954 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 868268
[startup+51.1016 s]
/proc/loadavg: 2.07 2.03 2.01 3/89 28607
/proc/meminfo: memFree=1608984/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868180 CPUtime=50.65
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 40341 575 1 0 5028 28 8 1 18 0 9 0 27761417 889016320 23521 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217045 23521 2640 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868180 CPUtime=50.03
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28579 575 1 0 4973 21 8 1 25 0 9 0 27761418 889016320 23521 996147200 134512640 134550932 4294955968 18446744073709551615 4127316702 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868180 CPUtime=0.33
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 9958 575 0 0 20 4 8 1 17 0 9 0 27761420 889016320 23521 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23521 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 27 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23521 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889016320 23521 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868180 CPUtime=0.44
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 935 575 0 0 34 1 8 1 15 0 9 0 27761422 889016320 23521 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889016320 23521 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 40357 575 1 0 6931 28 8 1 18 0 9 0 27761417 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217045 23531 2640 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868180 CPUtime=69.04
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28585 575 1 0 6874 21 8 1 25 0 9 0 27761418 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4127318184 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868180 CPUtime=0.33
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 9958 575 0 0 20 4 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 27 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868180 CPUtime=0.45
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 945 575 0 0 35 1 8 1 16 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.68
Current children cumulated vsize (KiB) 868180
[startup+76.7012 s]
/proc/loadavg: 2.05 2.02 2.00 3/89 28607
/proc/meminfo: memFree=1608920/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868180 CPUtime=76.02
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 40357 575 1 0 7565 28 8 1 18 0 9 0 27761417 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217045 23531 2640 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868180 CPUtime=75.38
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28585 575 1 0 7508 21 8 1 25 0 9 0 27761418 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4127320880 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868180 CPUtime=0.33
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 9958 575 0 0 20 4 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 27 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868180 CPUtime=0.45
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 945 575 0 0 35 1 8 1 16 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.02
Current children cumulated vsize (KiB) 868180
[startup+79.9015 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 28607
/proc/meminfo: memFree=1608920/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868180 CPUtime=79.19
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 40357 575 1 0 7882 28 8 1 18 0 9 0 27761417 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217045 23531 2640 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868180 CPUtime=78.55
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28585 575 1 0 7825 21 8 1 25 0 9 0 27761418 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4127318220 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868180 CPUtime=0.33
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 9958 575 0 0 20 4 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 27 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868180 CPUtime=0.45
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 945 575 0 0 35 1 8 1 16 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 79.19
Current children cumulated vsize (KiB) 868180
[startup+80.7016 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 28607
/proc/meminfo: memFree=1608920/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868180 CPUtime=79.97
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 40357 575 1 0 7960 28 8 1 18 0 9 0 27761417 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217045 23531 2640 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868180 CPUtime=79.34
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28585 575 1 0 7904 21 8 1 25 0 9 0 27761418 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4127321644 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868180 CPUtime=0.33
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 9958 575 0 0 20 4 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 27 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868180 CPUtime=0.45
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 945 575 0 0 35 1 8 1 16 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (KiB) 868180
[startup+81.5026 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 28607
/proc/meminfo: memFree=1608856/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868180 CPUtime=80.77
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 40357 575 1 0 8040 28 8 1 18 0 9 0 27761417 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217045 23531 2640 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868180 CPUtime=80.13
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28585 575 1 0 7983 21 8 1 25 0 9 0 27761418 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4127320887 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868180 CPUtime=0.33
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 9958 575 0 0 20 4 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 27 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868180 CPUtime=0.45
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 945 575 0 0 35 1 8 1 16 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 80.77
Current children cumulated vsize (KiB) 868180
[startup+81.9027 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 28607
/proc/meminfo: memFree=1608856/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868180 CPUtime=81.17
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 40357 575 1 0 8080 28 8 1 18 0 9 0 27761417 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217045 23531 2640 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868180 CPUtime=80.53
/proc/28594/task/28596/stat : 28596 (java) R 28592 28594 28057 0 -1 64 28585 575 1 0 8023 21 8 1 25 0 9 0 27761418 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4127319159 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868180 CPUtime=0.33
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 9958 575 0 0 20 4 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 27 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868180 CPUtime=0.45
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 945 575 0 0 35 1 8 1 16 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) S 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889016320 23531 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 81.17
Current children cumulated vsize (KiB) 868180
[startup+82.0027 s]
/proc/loadavg: 2.04 2.02 2.00 3/89 28607
/proc/meminfo: memFree=1608856/2055920 swapFree=4192812/4192956
[pid=28594] ppid=28592 vsize=868180 CPUtime=81.25
/proc/28594/stat : 28594 (java) S 28592 28594 28057 0 -1 0 40365 575 1 0 8088 28 8 1 18 0 9 0 27761417 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/28594/statm: 217045 23533 2640 9 0 211503 0
[pid=28594/tid=28596] ppid=28592 vsize=868180 CPUtime=80.61
/proc/28594/task/28596/stat : 28596 (java) S 28592 28594 28057 0 -1 64 28591 575 1 0 8031 21 8 1 23 0 9 0 27761418 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28597] ppid=28592 vsize=868180 CPUtime=0.33
/proc/28594/task/28597/stat : 28597 (java) S 28592 28594 28057 0 -1 64 9958 575 0 0 20 4 8 1 16 0 9 0 27761420 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28598] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28598/stat : 28598 (java) S 28592 28594 28057 0 -1 64 22 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28599] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28599/stat : 28599 (java) S 28592 28594 28057 0 -1 64 27 575 0 0 0 0 8 1 16 0 9 0 27761420 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28600] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28600/stat : 28600 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 18 0 9 0 27761422 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28601] ppid=28592 vsize=868180 CPUtime=0.46
/proc/28594/task/28601/stat : 28601 (java) S 28592 28594 28057 0 -1 64 947 575 0 0 36 1 8 1 16 0 9 0 27761422 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28602] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28602/stat : 28602 (java) S 28592 28594 28057 0 -1 64 1 575 0 0 0 0 8 1 19 0 9 0 27761422 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=28594/tid=28603] ppid=28592 vsize=868180 CPUtime=0.09
/proc/28594/task/28603/stat : 28603 (java) R 28592 28594 28057 0 -1 64 15 575 0 0 0 0 8 1 15 0 9 0 27761422 889016320 23533 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 81.25
Current children cumulated vsize (KiB) 868180
Child status: 0
Real time (s): 82.0182
CPU time (s): 81.2806
CPU user time (s): 80.9707
CPU system time (s): 0.309952
CPU usage (%): 99.1007
Max. virtual memory (cumulated for all children) (KiB): 868268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.9707
system time used= 0.309952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40969
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= 3576
involuntary context switches= 6550
runsolver used 0.102984 second user time and 0.279957 second system time
The end
Begin job on node36 at 2009-07-12 15:56:07
IDJOB=2095223
IDBENCH=54995
IDSOLVER=773
FILE ID=node36/2095223-1247406967
PBS_JOBID= 9510571
Free space on /tmp= 66392 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/pseudo/uclid/normalized-blast-tlan2.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095223-1247406967/watcher-2095223-1247406967 -o /tmp/evaluation-result-2095223-1247406967/solver-2095223-1247406967 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095223-1247406967.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9b20d494642ff2b0ed540c977857fea7
RANDOM SEED=1894257283
node36.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.238
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.238
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: 1693824 kB
Buffers: 32932 kB
Cached: 115172 kB
SwapCached: 0 kB
Active: 244544 kB
Inactive: 61812 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1693824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2952 kB
Writeback: 0 kB
Mapped: 178676 kB
Slab: 40936 kB
Committed_AS: 996936 kB
PageTables: 2012 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= 66388 MiB
End job on node36 at 2009-07-12 15:57:30