0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.18/0.26
0.18/0.26 configuration
0.18/0.26 name=esac.xml
0.28/0.30
0.28/0.30 instance
0.28/0.30 name=HOME/instance-1100065-1215286508.xml
0.28/0.34
0.28/0.34 domains being loaded...
0.28/0.35
0.28/0.35 variables being loaded...
0.28/0.38 nbVariables=40 nbDomainTypes=1 minDomainSize=40 maxDomainSize=40 nbTotalValues=1600
0.28/0.38 => wckTime=0.114 cpuTime=0.1 mem=7M919
0.28/0.38
0.28/0.38 relations being loaded...
0.37/0.50
0.37/0.50 constraints being loaded...
0.57/0.65 nbConstraints=135 nbRelationTypes=135 nbExtensionStructures=135 nbSharedExtensionStructures=0
0.57/0.65 nbConflictsStructures=135 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 minDegree=2
0.57/0.65 maxDegree=13 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.051 symmetryCpuTime=0.02
0.57/0.65 => wckTime=0.385 cpuTime=0.29 mem=20M623
0.67/0.72
0.67/0.72 solver IterativeSystematicSolver being built...
0.76/0.87 => wckTime=0.605 cpuTime=0.41 mem=22M87
0.86/0.93
0.86/0.93 preprocessing
0.86/0.93 nbConstraintChecks=76391 nbPropagations=789 nbRevisions=3554 nbUselessRevisions=2429 nbSingletonTests=50
0.86/0.93 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0 nbRemovedValues=0 detectedInconsistency=no
0.86/0.93 => wckTime=0.049 cpuTime=0.04 mem=22M87
0.96/1.07
0.96/1.07 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=23M127)
34.43/34.86
34.43/34.86 search
34.43/34.86 run=20 nbConstraintChecks=253567769 minDepth=0 maxDepth=10 nbPropagations=12898287 nbRevisions=78520572
34.43/34.86 nbUselessRevisions=48162072 nbAssignments=131022 nbFailedAssignments=69388 nbInferredBacktracks=2
34.43/34.86 nbBacktracks=61533 nbVisitedNodes=239384 nbRestartNogoods=192 nbSEliminables=5.75 nbREliminables=3.82
34.43/34.86 nbIEliminables=8.68 nbDEliminables=0 nbPEliminables=0
34.43/34.86 => wckTime=33.983 cpuTime=33.59 mem=23M127
34.43/34.86
34.43/34.86 global
34.43/34.86 nbConstraintChecks=253644160 nbPropagations=12899076 nbRevisions=78524126 nbUselessRevisions=48164501
34.43/34.86 nbRestartNogoods=192 solvingWckTime=33.987 solvingCpuTime=33.59 expiredTime=no totalExploration=yes
34.43/34.86 nbFoundSolutions=0 globalCpuTime=34.04
34.43/34.86 => wckTime=34.595 cpuTime=34.0 mem=23M127
34.43/34.86
34.43/34.86 s UNSATISFIABLE
34.43/34.86 d NODES 131022
34.43/34.86 d CHECKS 253644160
34.43/34.86
34.43/34.86 totalWckTime=34.664 totalCpuTime=34.04
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1100065-1215286508/watcher-1100065-1215286508 -o /tmp/evaluation-result-1100065-1215286508/solver-1100065-1215286508 -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-1100065-1215286508.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: 2.09 2.05 2.01 4/84 9350
/proc/meminfo: memFree=1581552/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=18572 CPUtime=0
/proc/9350/stat : 9350 (runsolver) R 9348 9350 8266 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 140320937 19017728 292 996147200 4194304 4296836 548682068336 18446744073709551615 233588714791 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/9350/statm: 4643 292 257 25 0 2626 0
[startup+0.0714281 s]
/proc/loadavg: 2.09 2.05 2.01 4/84 9350
/proc/meminfo: memFree=1581552/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=864076 CPUtime=0.05
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 2808 0 1 0 3 2 0 0 20 0 9 0 140320937 884813824 2346 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216019 2346 1120 9 0 210976 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864076
[startup+0.101432 s]
/proc/loadavg: 2.09 2.05 2.01 4/84 9350
/proc/meminfo: memFree=1581552/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=865884 CPUtime=0.08
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 3645 0 1 0 6 2 0 0 20 0 9 0 140320937 886665216 3129 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216471 3129 1675 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.301458 s]
/proc/loadavg: 2.09 2.05 2.01 4/84 9350
/proc/meminfo: memFree=1581552/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=866284 CPUtime=0.28
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 5688 0 1 0 24 4 0 0 20 0 9 0 140320937 887074816 5090 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216571 5090 1935 9 0 211099 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866284
[startup+0.701497 s]
/proc/loadavg: 2.09 2.05 2.01 4/84 9350
/proc/meminfo: memFree=1581552/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867168 CPUtime=0.67
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 13211 151 1 0 59 8 0 0 20 0 10 0 140320937 887980032 9530 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216792 9530 2637 9 0 211320 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 867168
[startup+1.50257 s]
/proc/loadavg: 2.09 2.05 2.01 3/93 9363
/proc/meminfo: memFree=1548648/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=1.45
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17581 274 1 0 135 10 0 0 20 0 9 0 140320937 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10801 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=1.16
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12350 274 1 0 109 7 0 0 25 0 9 0 140320938 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4126781262 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.2
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 542 274 0 0 20 0 0 0 16 0 9 0 140320942 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10801 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 867388
[startup+3.10273 s]
/proc/loadavg: 2.09 2.05 2.01 3/93 9363
/proc/meminfo: memFree=1548264/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=3.04
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17594 274 1 0 294 10 0 0 20 0 9 0 140320937 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10812 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=2.73
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12355 274 1 0 266 7 0 0 25 0 9 0 140320938 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4126778087 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 17 0 9 0 140320940 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.21
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 0 0 0 15 0 9 0 140320942 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10812 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 867388
[startup+6.30106 s]
/proc/loadavg: 2.08 2.04 2.01 3/93 9363
/proc/meminfo: memFree=1547944/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=6.2
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17598 274 1 0 610 10 0 0 20 0 9 0 140320937 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10814 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=5.9
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12359 274 1 0 583 7 0 0 25 0 9 0 140320938 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4126779963 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10814 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 867388
[startup+12.7017 s]
/proc/loadavg: 2.08 2.04 2.01 3/93 9363
/proc/meminfo: memFree=1547880/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=12.54
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17599 274 1 0 1244 10 0 0 20 0 9 0 140320937 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10815 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=12.24
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12360 274 1 0 1217 7 0 0 25 0 9 0 140320938 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4126771422 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10815 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 867388
[startup+25.502 s]
/proc/loadavg: 2.06 2.04 2.00 3/93 9363
/proc/meminfo: memFree=1547880/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=25.21
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17601 274 1 0 2511 10 0 0 20 0 9 0 140320937 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10817 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=24.91
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12362 274 1 0 2484 7 0 0 25 0 9 0 140320938 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4126759028 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867388
Solver just ended. Dumping a history of the last processes samples
[startup+28.7023 s]
/proc/loadavg: 2.06 2.04 2.00 3/93 9363
/proc/meminfo: memFree=1547944/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=28.38
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17601 274 1 0 2828 10 0 0 20 0 9 0 140320937 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10817 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=28.08
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12362 274 1 0 2801 7 0 0 25 0 9 0 140320938 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4126847483 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) R 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 28.38
Current children cumulated vsize (KiB) 867388
[startup+31.9067 s]
/proc/loadavg: 2.06 2.04 2.00 3/93 9363
/proc/meminfo: memFree=1547944/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=31.56
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17601 274 1 0 3146 10 0 0 20 0 9 0 140320937 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10817 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=31.25
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12362 274 1 0 3118 7 0 0 25 0 9 0 140320938 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4126893270 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10817 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 31.56
Current children cumulated vsize (KiB) 867388
[startup+33.5018 s]
/proc/loadavg: 2.06 2.04 2.00 3/93 9363
/proc/meminfo: memFree=1547944/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=33.14
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17602 274 1 0 3304 10 0 0 20 0 9 0 140320937 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10818 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=32.84
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12363 274 1 0 3277 7 0 0 25 0 9 0 140320938 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4126756215 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 33.14
Current children cumulated vsize (KiB) 867388
[startup+34.3019 s]
/proc/loadavg: 2.06 2.04 2.00 3/93 9363
/proc/meminfo: memFree=1548008/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=33.93
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17602 274 1 0 3383 10 0 0 20 0 9 0 140320937 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10818 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=33.63
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12363 274 1 0 3356 7 0 0 25 0 9 0 140320938 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4126777400 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 33.93
Current children cumulated vsize (KiB) 867388
[startup+34.7029 s]
/proc/loadavg: 2.06 2.04 2.00 3/93 9363
/proc/meminfo: memFree=1548008/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=34.33
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17602 274 1 0 3423 10 0 0 20 0 9 0 140320937 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10818 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=34.03
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12363 274 1 0 3396 7 0 0 25 0 9 0 140320938 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4126766982 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.33
Current children cumulated vsize (KiB) 867388
[startup+34.8029 s]
/proc/loadavg: 2.06 2.04 2.00 3/93 9363
/proc/meminfo: memFree=1548008/2055920 swapFree=4192812/4192956
[pid=9350] ppid=9348 vsize=867388 CPUtime=34.43
/proc/9350/stat : 9350 (java) S 9348 9350 8266 0 -1 0 17602 274 1 0 3433 10 0 0 20 0 9 0 140320937 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/9350/statm: 216847 10818 2631 9 0 211353 0
[pid=9350/tid=9352] ppid=9348 vsize=867388 CPUtime=34.13
/proc/9350/task/9352/stat : 9352 (java) R 9348 9350 8266 0 -1 64 12363 274 1 0 3406 7 0 0 25 0 9 0 140320938 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4126783200 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9353] ppid=9348 vsize=867388 CPUtime=0.06
/proc/9350/task/9353/stat : 9353 (java) S 9348 9350 8266 0 -1 64 3850 274 0 0 5 1 0 0 16 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9354] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9354/stat : 9354 (java) S 9348 9350 8266 0 -1 64 16 274 0 0 0 0 0 0 16 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9355] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9355/stat : 9355 (java) S 9348 9350 8266 0 -1 64 9 274 0 0 0 0 0 0 15 0 9 0 140320940 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9356] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9356/stat : 9356 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9357] ppid=9348 vsize=867388 CPUtime=0.22
/proc/9350/task/9357/stat : 9357 (java) S 9348 9350 8266 0 -1 64 550 274 0 0 21 1 0 0 16 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9358] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9358/stat : 9358 (java) S 9348 9350 8266 0 -1 64 1 274 0 0 0 0 0 0 25 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=9350/tid=9359] ppid=9348 vsize=867388 CPUtime=0
/proc/9350/task/9359/stat : 9359 (java) S 9348 9350 8266 0 -1 64 5 274 0 0 0 0 0 0 15 0 9 0 140320942 888205312 10818 996147200 134512640 134550740 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 34.43
Current children cumulated vsize (KiB) 867388
Child status: 0
Real time (s): 34.9009
CPU time (s): 34.5247
CPU user time (s): 34.4028
CPU system time (s): 0.121981
CPU usage (%): 98.9221
Max. virtual memory (cumulated for all children) (KiB): 867388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.4028
system time used= 0.121981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17987
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= 1967
involuntary context switches= 3394
runsolver used 0.048992 second user time and 0.116982 second system time
The end
Begin job on node27 at 2008-07-05 21:35:08
IDJOB=1100065
IDBENCH=59823
IDSOLVER=364
FILE ID=node27/1100065-1215286508
PBS_JOBID= 7882267
Free space on /tmp= 66464 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/tightness0.65/normalized-rand-2-40-40-135-650-37_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1100065-1215286508/watcher-1100065-1215286508 -o /tmp/evaluation-result-1100065-1215286508/solver-1100065-1215286508 -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-1100065-1215286508.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= ab3553351ec8972fad25e17e705701ed
RANDOM SEED=807082478
node27.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 : 2800.188
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 : 5521.40
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 : 2800.188
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: 1581968 kB
Buffers: 49460 kB
Cached: 196768 kB
SwapCached: 0 kB
Active: 311692 kB
Inactive: 105852 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1581968 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2500 kB
Writeback: 0 kB
Mapped: 188148 kB
Slab: 41580 kB
Committed_AS: 1099548 kB
PageTables: 1844 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66464 MiB
End job on node27 at 2008-07-05 21:35:43