0.04/0.09
0.04/0.09 Abscon 112 (May, 2008)
0.18/0.23
0.18/0.23 configuration
0.18/0.23 name=esac.xml
0.28/0.31
0.28/0.31 instance
0.28/0.31 name=HOME/instance-1060421-1215126633.xml
0.28/0.35
0.28/0.35 domains being loaded...
0.28/0.36
0.28/0.36 variables being loaded...
0.28/0.38 nbVariables=39 nbDomainTypes=2 minDomainSize=19 maxDomainSize=20 nbTotalValues=761
0.28/0.38 => wckTime=0.145 cpuTime=0.11 mem=7M919
0.28/0.38
0.28/0.38 predicates being loaded...
0.38/0.45
0.38/0.45 constraints being loaded...
0.77/0.82 nbConstraints=383 nbGlobalConstraints=3 nbConvertedConstraints=361 nbConvertConstraintsChecks=8761
0.77/0.82 nbExtensionStructures=3 nbSharedExtensionStructures=358 nbConflictsStructures=4 nbSharedConflictsStructures=376
0.77/0.82 nbSharedBinaryRepresentations=39 nbEvaluationManagers=1 nbSharedEvaluationManagers=18 minDegree=20 maxDegree=23
0.77/0.82 minArity=2 avgArity=2.23 maxArity=38 nbGenerators=1 nbFusions=1 symmetryWckTime=0.079 symmetryCpuTime=0.04
0.77/0.82 nbCliques=2
0.77/0.82 => wckTime=0.582 cpuTime=0.39 mem=15M844
0.77/0.87
0.77/0.87 solver IterativeSystematicSolver being built...
0.86/0.94
0.86/0.94 INFO : Forward propagation technique limited
0.96/1.02 => wckTime=0.779 cpuTime=0.5 mem=20M908
1.16/1.20
1.16/1.20 preprocessing
1.16/1.20 nbConstraintChecks=410517 nbValidityChecks=32972 nbPropagations=1374 nbRevisions=3382 nbUselessRevisions=1735
1.16/1.20 nbSingletonTests=61 nbEffectiveSingletonTests=0 nbACRemovals=2 nbFoundSingletons=0 nbRemovedValues=2
1.16/1.21 nbRemovedTuples=190 detectedInconsistency=no
1.16/1.21 => wckTime=0.186 cpuTime=0.17 mem=20M908
1.45/1.54
1.45/1.54 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=21M900)
338.18/341.43
338.18/341.43 search
338.18/341.43 run=24 nbConstraintChecks=688009801 nbValidityChecks=124059316 minDepth=9 maxDepth=39 nbPropagations=53608554
338.18/341.43 nbRevisions=212270203 nbUselessRevisions=125427133 nbAssignments=942071 nbFailedAssignments=344406
338.18/341.43 nbBacktracks=597229 nbVisitedNodes=1536829 nbRestartNogoods=356 nbFoundSolutions=1 nbSEliminables=0
338.18/341.43 nbREliminables=0.91 nbIEliminables=27.83 nbDEliminables=0 nbPEliminables=0
338.18/341.43 => wckTime=340.411 cpuTime=337.13 mem=21M900
338.18/341.43
338.18/341.43 global
338.18/341.43 nbConstraintChecks=688420318 nbValidityChecks=124092288 nbPropagations=53609928 nbRevisions=212273585
338.18/341.43 nbUselessRevisions=125428868 nbRestartNogoods=356 solvingWckTime=340.413 solvingCpuTime=337.14 expiredTime=no
338.18/341.43 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=337.63 globalCpuTime=337.7
338.18/341.43 => wckTime=341.194 cpuTime=337.64 mem=21M900
338.18/341.43
338.18/341.43 s SATISFIABLE
338.18/341.43 v 6 17 1 18 0 19 4 16 2 15 8 14 5 7 12 9 13 3 11 10 10 15 16 17 18 14 11 13 12 6 5 8 1 4 2 3 9 7 0
338.18/341.43 d NODES 942071
338.18/341.43 d CHECKS 688420318
338.18/341.44
338.18/341.44 totalWckTime=341.251 totalCpuTime=337.7
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060421-1215126633/watcher-1060421-1215126633 -o /tmp/evaluation-result-1060421-1215126633/solver-1060421-1215126633 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1060421-1215126633.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.14 1.04 1.09 4/80 31950
/proc/meminfo: memFree=1445000/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=152 CPUtime=0
/proc/31950/stat : 31950 (java) D 31948 31950 30642 0 -1 0 41 0 0 0 0 0 0 0 18 0 1 0 1991637029 155648 26 996147200 134512640 134550740 4294956144 18446744073709551615 7017252 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/31950/statm: 38 26 19 9 0 4 0
[startup+0.0575969 s]
/proc/loadavg: 1.14 1.04 1.09 4/80 31950
/proc/meminfo: memFree=1445000/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=863688 CPUtime=0.04
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 2585 0 1 0 3 1 0 0 18 0 9 0 1991637029 884416512 2152 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 215922 2152 1024 9 0 210901 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 863688
[startup+0.101599 s]
/proc/loadavg: 1.14 1.04 1.09 4/80 31950
/proc/meminfo: memFree=1445000/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=865884 CPUtime=0.08
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 3719 0 1 0 7 1 0 0 18 0 9 0 1991637029 886665216 3182 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216471 3182 1686 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301615 s]
/proc/loadavg: 1.14 1.04 1.09 4/80 31950
/proc/meminfo: memFree=1445000/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=866196 CPUtime=0.28
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 5622 0 1 0 25 3 0 0 18 0 9 0 1991637029 886984704 5036 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216549 5036 1903 9 0 211097 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866196
[startup+0.701637 s]
/proc/loadavg: 1.14 1.04 1.09 4/80 31950
/proc/meminfo: memFree=1445000/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867088 CPUtime=0.68
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 7980 0 1 0 62 6 0 0 18 0 9 0 1991637029 887898112 7338 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216772 7338 2008 9 0 211278 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867088
[startup+1.50169 s]
/proc/loadavg: 1.14 1.04 1.09 3/89 31963
/proc/meminfo: memFree=1415360/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=1.45
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16183 303 1 0 136 9 0 0 18 0 9 0 1991637029 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10682 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=1.14
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12212 303 1 0 107 7 0 0 25 0 9 0 1991637031 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4126954411 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2383 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.24
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 746 303 0 0 24 0 0 0 15 0 9 0 1991637035 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 4 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10682 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867868
[startup+3.10179 s]
/proc/loadavg: 1.14 1.04 1.09 3/89 31963
/proc/meminfo: memFree=1412288/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=3.04
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16218 303 1 0 294 10 0 0 18 0 9 0 1991637029 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10713 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=2.68
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12223 303 1 0 261 7 0 0 25 0 9 0 1991637031 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4126972798 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 17 0 9 0 1991637032 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.28
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 769 303 0 0 28 0 0 0 15 0 9 0 1991637035 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 4 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10713 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867868
[startup+6.30299 s]
/proc/loadavg: 1.21 1.06 1.09 3/89 31963
/proc/meminfo: memFree=1412032/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=6.21
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16236 303 1 0 611 10 0 0 18 0 9 0 1991637029 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10718 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=5.85
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12225 303 1 0 578 7 0 0 25 0 9 0 1991637031 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4126936003 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 17 0 9 0 1991637032 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.28
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 774 303 0 0 28 0 0 0 16 0 9 0 1991637035 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10718 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 867868
[startup+12.7014 s]
/proc/loadavg: 1.27 1.07 1.10 3/89 31963
/proc/meminfo: memFree=1411840/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=12.55
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16240 303 1 0 1245 10 0 0 18 0 9 0 1991637029 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10720 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=12.18
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12226 303 1 0 1211 7 0 0 25 0 9 0 1991637031 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4126753319 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.28
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 777 303 0 0 28 0 0 0 16 0 9 0 1991637035 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10720 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867868
[startup+25.5012 s]
/proc/loadavg: 1.43 1.12 1.11 3/89 31963
/proc/meminfo: memFree=1411904/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=25.23
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16246 303 1 0 2513 10 0 0 18 0 9 0 1991637029 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10723 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=24.86
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12230 303 1 0 2479 7 0 0 25 0 9 0 1991637031 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4126948103 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.28
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 779 303 0 0 28 0 0 0 16 0 9 0 1991637035 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10723 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 867868
[startup+51.1019 s]
/proc/loadavg: 1.63 1.19 1.13 3/89 31963
/proc/meminfo: memFree=1411904/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=50.58
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16249 303 1 0 5048 10 0 0 18 0 9 0 1991637029 888696832 10726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10726 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=50.23
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12233 303 1 0 5015 8 0 0 25 0 9 0 1991637031 888696832 10726 996147200 134512640 134550740 4294955968 18446744073709551615 4126979929 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.28
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 779 303 0 0 28 0 0 0 16 0 9 0 1991637035 888696832 10726 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
################
# More data... #
################
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16258 303 1 0 32945 11 0 0 18 0 9 0 1991637029 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10733 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=329.19
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12239 303 1 0 32911 8 0 0 25 0 9 0 1991637031 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4126739232 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.29
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 782 303 0 0 29 0 0 0 16 0 9 0 1991637035 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10733 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 329.56
Current children cumulated vsize (KiB) 867868
[startup+335.901 s]
/proc/loadavg: 1.99 1.68 1.35 3/89 31963
/proc/meminfo: memFree=1411648/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=332.73
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16260 303 1 0 33262 11 0 0 18 0 9 0 1991637029 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10735 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=332.36
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12241 303 1 0 33228 8 0 0 25 0 9 0 1991637031 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4126962686 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.29
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 782 303 0 0 29 0 0 0 16 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 332.73
Current children cumulated vsize (KiB) 867868
[startup+339.102 s]
/proc/loadavg: 1.99 1.68 1.35 3/89 31963
/proc/meminfo: memFree=1411648/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=335.9
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16260 303 1 0 33579 11 0 0 18 0 9 0 1991637029 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10735 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=335.54
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12241 303 1 0 33546 8 0 0 25 0 9 0 1991637031 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4126755828 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.29
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 782 303 0 0 29 0 0 0 16 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 335.9
Current children cumulated vsize (KiB) 867868
[startup+340.703 s]
/proc/loadavg: 1.99 1.68 1.35 3/89 31963
/proc/meminfo: memFree=1411648/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=337.49
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16260 303 1 0 33738 11 0 0 18 0 9 0 1991637029 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10735 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=337.12
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12241 303 1 0 33704 8 0 0 25 0 9 0 1991637031 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4126763025 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.29
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 782 303 0 0 29 0 0 0 16 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 337.49
Current children cumulated vsize (KiB) 867868
[startup+341.103 s]
/proc/loadavg: 1.99 1.68 1.35 3/89 31963
/proc/meminfo: memFree=1411648/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=337.88
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16260 303 1 0 33777 11 0 0 18 0 9 0 1991637029 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10735 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=337.51
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12241 303 1 0 33743 8 0 0 25 0 9 0 1991637031 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4126924917 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.29
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 782 303 0 0 29 0 0 0 16 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 337.88
Current children cumulated vsize (KiB) 867868
[startup+341.303 s]
/proc/loadavg: 1.99 1.68 1.35 3/89 31963
/proc/meminfo: memFree=1411648/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=338.08
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16260 303 1 0 33797 11 0 0 18 0 9 0 1991637029 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10735 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=337.71
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12241 303 1 0 33763 8 0 0 25 0 9 0 1991637031 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4127073057 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.29
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 782 303 0 0 29 0 0 0 16 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.08
Current children cumulated vsize (KiB) 867868
[startup+341.403 s]
/proc/loadavg: 1.99 1.68 1.35 3/89 31963
/proc/meminfo: memFree=1411648/2055920 swapFree=4117436/4192956
[pid=31950] ppid=31948 vsize=867868 CPUtime=338.18
/proc/31950/stat : 31950 (java) S 31948 31950 30642 0 -1 0 16260 303 1 0 33807 11 0 0 18 0 9 0 1991637029 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31950/statm: 216967 10735 2633 9 0 211473 0
[pid=31950/tid=31952] ppid=31948 vsize=867868 CPUtime=337.81
/proc/31950/task/31952/stat : 31952 (java) R 31948 31950 30642 0 -1 64 12241 303 1 0 33773 8 0 0 25 0 9 0 1991637031 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4126963240 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31953] ppid=31948 vsize=867868 CPUtime=0.04
/proc/31950/task/31953/stat : 31953 (java) S 31948 31950 30642 0 -1 64 2384 303 0 0 4 0 0 0 16 0 9 0 1991637032 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31954] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31954/stat : 31954 (java) S 31948 31950 30642 0 -1 64 16 303 0 0 0 0 0 0 16 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31955] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31955/stat : 31955 (java) S 31948 31950 30642 0 -1 64 13 303 0 0 0 0 0 0 15 0 9 0 1991637033 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31956] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31956/stat : 31956 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 18 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31957] ppid=31948 vsize=867868 CPUtime=0.29
/proc/31950/task/31957/stat : 31957 (java) S 31948 31950 30642 0 -1 64 782 303 0 0 29 0 0 0 16 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31958] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31958/stat : 31958 (java) S 31948 31950 30642 0 -1 64 1 303 0 0 0 0 0 0 19 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31950/tid=31959] ppid=31948 vsize=867868 CPUtime=0
/proc/31950/task/31959/stat : 31959 (java) S 31948 31950 30642 0 -1 64 15 303 0 0 0 0 0 0 15 0 9 0 1991637035 888696832 10735 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 338.18
Current children cumulated vsize (KiB) 867868
Child status: 0
Real time (s): 341.491
CPU time (s): 338.246
CPU user time (s): 338.119
CPU system time (s): 0.12698
CPU usage (%): 99.0497
Max. virtual memory (cumulated for all children) (KiB): 867868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 338.119
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16691
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= 8193
involuntary context switches= 15231
runsolver used 0.406938 second user time and 1.15882 second system time
The end
Begin job on node30 at 2008-07-04 01:10:33
IDJOB=1060421
IDBENCH=54449
IDSOLVER=364
FILE ID=node30/1060421-1215126633
PBS_JOBID= 7877143
Free space on /tmp= 66548 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/allIntervalSeries/normalized-series-20.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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060421-1215126633/watcher-1060421-1215126633 -o /tmp/evaluation-result-1060421-1215126633/solver-1060421-1215126633 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-1060421-1215126633.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e33464de6d36c41189e3c9712ad7286f
RANDOM SEED=1263265076
node30.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.218
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.218
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: 1445480 kB
Buffers: 75948 kB
Cached: 284864 kB
SwapCached: 69492 kB
Active: 351568 kB
Inactive: 180552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1445480 kB
SwapTotal: 4192956 kB
SwapFree: 4117436 kB
Dirty: 2076 kB
Writeback: 0 kB
Mapped: 184880 kB
Slab: 63384 kB
Committed_AS: 4346680 kB
PageTables: 2044 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= 66544 MiB
End job on node30 at 2008-07-04 01:16:15