0.03/0.08
0.03/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=esac.xml
0.18/0.27
0.18/0.27 instance
0.18/0.27 name=HOME/instance-1057601-1215111290.xml
0.29/0.30
0.29/0.30 domains being loaded...
0.29/0.31
0.29/0.31 variables being loaded...
0.29/0.37 nbVariables=168 nbDomainTypes=1 minDomainSize=5 maxDomainSize=5 nbTotalValues=840
0.29/0.37 => wckTime=0.127 cpuTime=0.1 mem=7M919
0.29/0.37
0.29/0.37 predicates being loaded...
0.49/0.58
0.49/0.58 constraints being loaded...
1.66/1.73 nbConstraints=104 nbGlobalConstraints=23 nbDisconnectedVariables=23 nbConflictsStructures=1
1.66/1.73 nbSharedConflictsStructures=0 nbUnbuiltConflictsStructures=80 nbSharedBinaryRepresentations=0
1.66/1.73 nbEvaluationManagers=81 nbSharedEvaluationManagers=0 minDegree=1 maxDegree=10 minArity=2 avgArity=10.5
1.66/1.73 maxArity=22 nbGenerators=23 nbFusions=0 symmetryWckTime=0.106 symmetryCpuTime=0.07
1.66/1.73 => wckTime=1.493 cpuTime=1.3 mem=40M179
1.76/1.80
1.76/1.80 solver IterativeSystematicSolver being built...
1.76/1.89
1.76/1.89 INFO : Forward propagation technique limited
1.87/1.95 => wckTime=1.716 cpuTime=1.44 mem=23M747
5.26/5.31
5.26/5.33 preprocessing
5.26/5.33 nbConstraintChecks=2109289 nbValidityChecks=9987 nbPropagations=442 nbRevisions=2832 nbUselessRevisions=2727
5.26/5.33 nbSingletonTests=179 nbEffectiveSingletonTests=0 nbACRemovals=13 nbFoundSingletons=0 nbRemovedValues=13
5.26/5.33 detectedInconsistency=no
5.26/5.33 => wckTime=3.347 cpuTime=3.31 mem=23M747
42.68/42.95
42.68/42.95 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=24M729)
116.11/116.71
116.11/116.71 search
116.11/116.71 run=8 nbConstraintChecks=59526993 nbValidityChecks=384390 minDepth=43 maxDepth=168 nbPropagations=21016
116.11/116.71 nbRevisions=351443 nbUselessRevisions=326948 nbAssignments=1907 nbFailedAssignments=617 nbInferredBacktracks=3
116.11/116.71 nbBacktracks=670 nbVisitedNodes=2723 nbRestartNogoods=64 nbFoundSolutions=1 nbSEliminables=0
116.11/116.71 nbREliminables=97.59 nbIEliminables=31.27 nbDEliminables=0 nbPEliminables=0
116.11/116.71 => wckTime=114.747 cpuTime=114.1 mem=24M729
116.11/116.71
116.11/116.71 global
116.11/116.71 nbConstraintChecks=61636282 nbValidityChecks=394377 nbPropagations=21458 nbRevisions=354275
116.11/116.71 nbUselessRevisions=329675 nbRestartNogoods=64 solvingWckTime=114.749 solvingCpuTime=114.11 expiredTime=no
116.11/116.71 totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=115.54 globalCpuTime=115.6
116.11/116.71 => wckTime=116.469 cpuTime=115.55 mem=24M729
116.11/116.71
116.11/116.71 s SATISFIABLE
116.11/116.71 v 0 2 0 4 0 0 0 3 0 0 0 0 0 0 0 4 4 0 1 0 0 0 0 1 1 1 0 3 0 1 0 0 0 0 0 3 2 4 0 4 4 3 2 0 0 0 0 3 2 3 0 3 0 0 2 0 4 4 3 3 3 3 0 0 0 0 3 0 1 3 0 0 0 0 0 0 1 3 2 2 2 0 0 3 4 1 2 0 4 4 0 3 4 3 0 0 1 0 0 3 1 0 0 0 0 2 0 0 0 1 3 0 0 0 1 2 0 0 2 2 3 1 2 2 0 0 4 0 0 0 0 2 2 0 4 1 1 2 1 0 4 1 2 0 0 2 3 1 4 0 1 1 0 0 0 1 0 3 0 0 2 0 0 1 0 0 2 0
116.11/116.71 d NODES 1907
116.11/116.71 d CHECKS 61636282
116.11/116.71
116.11/116.71 totalWckTime=116.535 totalCpuTime=115.6
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1057601-1215111290/watcher-1057601-1215111290 -o /tmp/evaluation-result-1057601-1215111290/solver-1057601-1215111290 -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-1057601-1215111290.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.75 1.89 1.89 4/81 16429
/proc/meminfo: memFree=1581144/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=200 CPUtime=0
/proc/16429/stat : 16429 (java) R 16427 16429 15926 0 -1 0 208 0 0 0 0 0 0 0 18 0 1 0 1990102254 204800 29 996147200 134512640 134550740 4294955968 18446744073709551615 3129516 0 0 4096 0 0 0 0 17 0 0 0
/proc/16429/statm: 68 35 27 9 0 6 0
[startup+0.0474211 s]
/proc/loadavg: 1.75 1.89 1.89 4/81 16429
/proc/meminfo: memFree=1581144/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=863776 CPUtime=0.03
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 2561 0 1 0 2 1 0 0 18 0 9 0 1990102254 884506624 2117 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 215944 2118 988 9 0 210901 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 863776
[startup+0.101427 s]
/proc/loadavg: 1.75 1.89 1.89 4/81 16429
/proc/meminfo: memFree=1581144/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=865884 CPUtime=0.09
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 3801 0 1 0 7 2 0 0 18 0 9 0 1990102254 886665216 3252 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216471 3252 1720 9 0 211026 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865884
[startup+0.301448 s]
/proc/loadavg: 1.75 1.89 1.89 4/81 16429
/proc/meminfo: memFree=1581144/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=866408 CPUtime=0.29
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 6025 0 1 0 25 4 0 0 18 0 9 0 1990102254 887201792 5399 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216602 5400 1956 9 0 211130 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 866408
[startup+0.701491 s]
/proc/loadavg: 1.75 1.89 1.89 4/81 16429
/proc/meminfo: memFree=1581144/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867084 CPUtime=0.68
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 10437 0 1 0 62 6 0 0 18 0 9 0 1990102254 887894016 9797 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216771 9797 2010 9 0 211277 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867084
[startup+1.50158 s]
/proc/loadavg: 1.75 1.89 1.89 3/90 16438
/proc/meminfo: memFree=1532496/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=866996 CPUtime=1.48
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 17295 0 1 0 139 9 0 0 18 0 9 0 1990102254 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216749 16630 2003 9 0 211277 0
[pid=16429/tid=16431] ppid=16427 vsize=866996 CPUtime=1.3
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 15780 0 1 0 122 8 0 0 25 0 9 0 1990102255 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 103813005 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16432] ppid=16427 vsize=866996 CPUtime=0.01
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 304 0 0 0 1 0 0 0 16 0 9 0 1990102256 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=866996 CPUtime=0
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1990102256 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16434] ppid=16427 vsize=866996 CPUtime=0
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1990102256 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16435] ppid=16427 vsize=866996 CPUtime=0
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 0 0 0 0 0 0 0 24 0 9 0 1990102258 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=866996 CPUtime=0.16
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 514 0 0 0 16 0 0 0 15 0 9 0 1990102258 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16437] ppid=16427 vsize=866996 CPUtime=0
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 1990102258 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=866996 CPUtime=0
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1990102258 887803904 16630 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 866996
[startup+3.10275 s]
/proc/loadavg: 1.75 1.89 1.89 4/92 16442
/proc/meminfo: memFree=1519168/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=3.07
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26337 304 1 0 294 12 0 1 18 0 9 0 1990102254 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17959 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=2.76
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 21816 304 1 0 266 9 0 1 25 0 9 0 1990102255 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4126712245 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 17 0 9 0 1990102256 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.22
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 700 304 0 0 21 0 0 1 15 0 9 0 1990102258 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 7 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17959 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 867548
[startup+6.3011 s]
/proc/loadavg: 1.77 1.89 1.89 4/90 16442
/proc/meminfo: memFree=1518984/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=6.25
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26637 304 1 0 612 12 0 1 18 0 9 0 1990102254 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17969 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=5.93
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22076 304 1 0 582 10 0 1 17 0 9 0 1990102255 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4126713904 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.24
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 729 304 0 0 23 0 0 1 15 0 9 0 1990102258 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17969 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867548
[startup+12.7028 s]
/proc/loadavg: 1.79 1.90 1.89 3/90 16442
/proc/meminfo: memFree=1518792/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=12.62
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26640 304 1 0 1249 12 0 1 18 0 9 0 1990102254 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17970 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=12.3
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22077 304 1 0 1219 10 0 1 25 0 9 0 1990102255 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4126709316 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.24
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 731 304 0 0 23 0 0 1 16 0 9 0 1990102258 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17970 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 867548
[startup+25.5012 s]
/proc/loadavg: 1.83 1.90 1.89 3/90 16442
/proc/meminfo: memFree=1518792/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=25.36
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26648 304 1 0 2522 13 0 1 18 0 9 0 1990102254 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17972 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=25.02
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22081 304 1 0 2491 10 0 1 25 0 9 0 1990102255 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4126710748 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.24
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 735 304 0 0 23 0 0 1 15 0 9 0 1990102258 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17972 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 867548
[startup+51.102 s]
/proc/loadavg: 1.89 1.91 1.89 3/90 16442
/proc/meminfo: memFree=1518728/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=50.84
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26716 304 1 0 5070 13 0 1 18 0 9 0 1990102254 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17986 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=50.47
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22130 304 1 0 5036 10 0 1 25 0 9 0 1990102255 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4126715713 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.27
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 754 304 0 0 26 0 0 1 16 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
################
# More data... #
################
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=101.43
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22132 304 1 0 10132 10 0 1 25 0 9 0 1990102255 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4126716391 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.27
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 754 304 0 0 26 0 0 1 16 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 867548
Solver just ended. Dumping a history of the last processes samples
[startup+108.701 s]
/proc/loadavg: 1.95 1.92 1.90 3/90 16442
/proc/meminfo: memFree=1518600/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=108.16
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26718 304 1 0 10802 13 0 1 18 0 9 0 1990102254 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17986 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=107.79
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22132 304 1 0 10768 10 0 1 25 0 9 0 1990102255 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4126969580 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.27
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 754 304 0 0 26 0 0 1 16 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 108.16
Current children cumulated vsize (KiB) 867548
[startup+111.902 s]
/proc/loadavg: 1.96 1.92 1.90 3/90 16442
/proc/meminfo: memFree=1518600/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=111.34
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26719 304 1 0 11120 13 0 1 18 0 9 0 1990102254 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17986 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=110.98
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22133 304 1 0 11087 10 0 1 25 0 9 0 1990102255 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4126715063 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.27
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 754 304 0 0 26 0 0 1 16 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17986 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 111.34
Current children cumulated vsize (KiB) 867548
[startup+115.103 s]
/proc/loadavg: 1.96 1.92 1.90 3/90 16442
/proc/meminfo: memFree=1518600/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=114.53
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26726 304 1 0 11439 13 0 1 18 0 9 0 1990102254 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17990 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=114.15
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22136 304 1 0 11404 10 0 1 25 0 9 0 1990102255 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4126711223 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.28
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 758 304 0 0 27 0 0 1 16 0 9 0 1990102258 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17990 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 114.53
Current children cumulated vsize (KiB) 867548
[startup+115.902 s]
/proc/loadavg: 1.96 1.92 1.90 3/90 16442
/proc/meminfo: memFree=1518600/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=115.32
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26729 304 1 0 11518 13 0 1 18 0 9 0 1990102254 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17992 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=114.94
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22136 304 1 0 11483 10 0 1 20 0 9 0 1990102255 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4126715699 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.29
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 761 304 0 0 28 0 0 1 16 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 115.32
Current children cumulated vsize (KiB) 867548
[startup+116.302 s]
/proc/loadavg: 1.96 1.92 1.90 3/90 16442
/proc/meminfo: memFree=1518600/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=115.72
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26729 304 1 0 11558 13 0 1 18 0 9 0 1990102254 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17992 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=115.34
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22136 304 1 0 11523 10 0 1 24 0 9 0 1990102255 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4126711277 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.29
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 761 304 0 0 28 0 0 1 16 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 115.72
Current children cumulated vsize (KiB) 867548
[startup+116.701 s]
/proc/loadavg: 1.96 1.92 1.90 3/90 16442
/proc/meminfo: memFree=1518600/2055920 swapFree=4179764/4192956
[pid=16429] ppid=16427 vsize=867548 CPUtime=116.11
/proc/16429/stat : 16429 (java) S 16427 16429 15926 0 -1 0 26729 304 1 0 11597 13 0 1 18 0 9 0 1990102254 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16429/statm: 216887 17992 2637 9 0 211393 0
[pid=16429/tid=16431] ppid=16427 vsize=867548 CPUtime=115.74
/proc/16429/task/16431/stat : 16431 (java) R 16427 16429 15926 0 -1 64 22136 304 1 0 11563 10 0 1 25 0 9 0 1990102255 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4126974448 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16432] ppid=16427 vsize=867548 CPUtime=0.07
/proc/16429/task/16432/stat : 16432 (java) S 16427 16429 15926 0 -1 64 2982 304 0 0 6 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16433] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16433/stat : 16433 (java) S 16427 16429 15926 0 -1 64 17 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16434] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16434/stat : 16434 (java) S 16427 16429 15926 0 -1 64 9 304 0 0 0 0 0 1 16 0 9 0 1990102256 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16435] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16435/stat : 16435 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 24 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16436] ppid=16427 vsize=867548 CPUtime=0.29
/proc/16429/task/16436/stat : 16436 (java) S 16427 16429 15926 0 -1 64 761 304 0 0 28 0 0 1 16 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16429/tid=16437] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16437/stat : 16437 (java) S 16427 16429 15926 0 -1 64 1 304 0 0 0 0 0 1 25 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16429/tid=16438] ppid=16427 vsize=867548 CPUtime=0.01
/proc/16429/task/16438/stat : 16438 (java) S 16427 16429 15926 0 -1 64 18 304 0 0 0 0 0 1 15 0 9 0 1990102258 888369152 17992 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 116.11
Current children cumulated vsize (KiB) 867548
Child status: 0
Real time (s): 116.757
CPU time (s): 116.156
CPU user time (s): 115.998
CPU system time (s): 0.157975
CPU usage (%): 99.4852
Max. virtual memory (cumulated for all children) (KiB): 867592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.998
system time used= 0.157975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27146
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= 3705
involuntary context switches= 2756
runsolver used 0.147977 second user time and 0.394939 second system time
The end
Begin job on node37 at 2008-07-03 20:54:50
IDJOB=1057601
IDBENCH=54053
IDSOLVER=364
FILE ID=node37/1057601-1215111290
PBS_JOBID= 7877130
Free space on /tmp= 66544 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/radar-9-28-4-2/normalized-radar-9-28-4-2-11.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-1057601-1215111290/watcher-1057601-1215111290 -o /tmp/evaluation-result-1057601-1215111290/solver-1057601-1215111290 -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-1057601-1215111290.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 871ea481d5d83bc5de69fc7155928cbb
RANDOM SEED=1546601421
node37.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.236
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.236
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: 1581624 kB
Buffers: 63940 kB
Cached: 284720 kB
SwapCached: 7116 kB
Active: 205872 kB
Inactive: 195816 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1581624 kB
SwapTotal: 4192956 kB
SwapFree: 4179764 kB
Dirty: 2508 kB
Writeback: 0 kB
Mapped: 69272 kB
Slab: 57980 kB
Committed_AS: 4152752 kB
PageTables: 1944 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 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 node37 at 2008-07-03 20:56:47