0.00/0.08
0.00/0.08 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.28
0.18/0.28 instance
0.18/0.28 name=HOME/instance-2095987-1247409835.xml
0.28/0.31
0.28/0.31 domains being loaded...
0.28/0.32
0.28/0.32 variables being loaded...
0.28/0.34 nbVariables=21 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2 nbTotalValues=42
0.28/0.34 => wckTime=0.095 cpuTime=0.08 mem=7M892
0.28/0.34
0.28/0.34 relations being loaded...
0.68/0.72
0.68/0.72 constraints being loaded...
1.16/1.20 nbConstraints=133 nbRelationTypes=1 nbGlobalConstraints=133 nbExtensionStructures=1
1.16/1.20 nbSharedExtensionStructures=132 nbConflictsStructures=1 nbSharedConflictsStructures=132
1.16/1.20 nbSharedBinaryRepresentations=0 minDegree=103 maxDegree=120 minArity=18 maxArity=18 nbGenerators=0
1.16/1.20 nbFusions=0 symmetryWckTime=0.092 symmetryCpuTime=0.04
1.16/1.20 => wckTime=0.957 cpuTime=0.72 mem=55M87
1.16/1.29
1.16/1.29 solver IterativeSystematicSolver being built...
1.27/1.36
1.27/1.36 INFO : Forward propagation technique limited
1.37/1.42 => wckTime=1.178 cpuTime=0.84 mem=69M649
3.35/3.49
3.35/3.49 preprocessing
3.35/3.49 nbConstraintChecks=0 nbValidityChecks=7691390 nbPropagations=21 nbRevisions=0 nbUselessRevisions=0
3.35/3.49 nbRemovedValues=0 detectedInconsistency=no
3.35/3.49 => wckTime=2.062 cpuTime=2.03 mem=69M649
8.12/8.26
8.12/8.26 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=71M92)
50.61/50.91
50.61/50.91 search
50.61/50.91 run=14 nbConstraintChecks=72626 nbValidityChecks=652280058 minDepth=0 maxDepth=14 nbPropagations=123212
50.61/50.91 nbRevisions=0 nbUselessRevisions=0 nbAssignments=20985 nbFailedAssignments=6910 nbBacktracks=13938
50.61/50.91 nbVisitedNodes=34827 nbRestartNogoods=50 nbSEliminables=0 nbREliminables=10.81 nbIEliminables=0
50.61/50.91 nbDEliminables=0 nbPEliminables=0
50.61/50.91 => wckTime=49.485 cpuTime=49.14 mem=71M92
50.61/50.91
50.61/50.91 global
50.61/50.91 nbConstraintChecks=72626 nbValidityChecks=659971448 nbPropagations=123233 nbRestartNogoods=50
50.61/50.91 solvingWckTime=49.487 solvingCpuTime=49.14 expiredTime=no totalExploration=yes nbFoundSolutions=0
50.61/50.91 globalCpuTime=50.02
50.61/50.91 => wckTime=50.667 cpuTime=49.98 mem=71M92
50.61/50.91
50.61/50.91 s UNSATISFIABLE
50.61/50.91 d NODES 20985
50.61/50.91 d CHECKS 72626
50.61/50.91
50.61/50.92 totalWckTime=50.734 totalCpuTime=50.02
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2095987-1247409835/watcher-2095987-1247409835 -o /tmp/evaluation-result-2095987-1247409835/solver-2095987-1247409835 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095987-1247409835.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 30078
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=18576 CPUtime=0
/proc/30078/stat : 30078 (runsolver) R 30076 29154 29154 0 -1 4194368 5 0 0 0 0 0 0 0 19 0 1 0 28048117 19021824 282 996147200 4194304 4302564 548682068384 18446744073709551615 251601152804 0 0 4096 24578 0 0 0 17 1 0 0
/proc/30078/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.0971711 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 30078
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=865984 CPUtime=0.07
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 3736 0 1 0 6 1 0 0 19 0 9 0 28048117 886767616 3204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216496 3204 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 865984
[startup+0.101169 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 30078
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=865984 CPUtime=0.08
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 3742 0 1 0 7 1 0 0 19 0 9 0 28048117 886767616 3210 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216496 3210 1700 9 0 210981 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865984
[startup+0.301197 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 30078
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=866380 CPUtime=0.28
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 5986 0 1 0 25 3 0 0 19 0 9 0 28048117 887173120 5352 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216595 5352 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.701243 s]
/proc/loadavg: 2.00 2.00 1.91 4/81 30078
/proc/meminfo: memFree=1798600/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=866492 CPUtime=0.68
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 21157 0 1 0 59 9 0 0 19 0 9 0 28048117 887287808 20518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216623 20518 2008 9 0 211081 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866492
[startup+1.50133 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 30087
/proc/meminfo: memFree=1723840/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=1.46
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 42417 322 1 0 126 18 1 1 19 0 9 0 28048117 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32553 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=1.1
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 20917 322 1 0 98 10 1 1 25 0 9 0 28048118 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4126824496 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.17
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 534 322 0 0 15 0 1 1 15 0 9 0 28048122 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32553 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 867032
[startup+3.10251 s]
/proc/loadavg: 2.08 2.02 1.92 3/90 30091
/proc/meminfo: memFree=1678336/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=3.05
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 43022 322 1 0 285 18 1 1 19 0 9 0 28048117 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32556 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=2.69
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 21518 322 1 0 257 10 1 1 25 0 9 0 28048118 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4126835202 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 17 0 9 0 28048120 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.17
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 538 322 0 0 15 0 1 1 16 0 9 0 28048122 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32556 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867032
[startup+6.30287 s]
/proc/loadavg: 2.08 2.02 1.92 3/90 30091
/proc/meminfo: memFree=1678016/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=6.24
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49014 322 1 0 602 20 1 1 19 0 9 0 28048117 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32571 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=5.86
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27500 322 1 0 572 12 1 1 25 0 9 0 28048118 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4126835269 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.19
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 548 322 0 0 17 0 1 1 16 0 9 0 28048122 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32571 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 867032
[startup+12.7026 s]
/proc/loadavg: 2.07 2.02 1.92 3/90 30091
/proc/meminfo: memFree=1677824/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=12.61
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49041 322 1 0 1238 21 1 1 19 0 9 0 28048117 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32584 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=12.2
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27511 322 1 0 1206 12 1 1 25 0 9 0 28048118 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4126835488 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.21
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 564 322 0 0 19 0 1 1 17 0 9 0 28048122 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32584 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 867032
[startup+25.502 s]
/proc/loadavg: 2.06 2.01 1.92 3/90 30091
/proc/meminfo: memFree=1677760/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=25.34
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49099 322 1 0 2511 21 1 1 19 0 9 0 28048117 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32602 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=24.9
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27548 322 1 0 2476 12 1 1 25 0 9 0 28048118 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4126835227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.25
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 585 322 0 0 23 0 1 1 16 0 9 0 28048122 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32602 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 867032
Solver just ended. Dumping a history of the last processes samples
[startup+38.3024 s]
/proc/loadavg: 2.04 2.01 1.92 3/90 30091
/proc/meminfo: memFree=1677760/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=38.08
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49141 322 1 0 3785 21 1 1 19 0 9 0 28048117 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32603 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=37.63
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27589 322 1 0 3749 12 1 1 25 0 9 0 28048118 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4126835536 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.25
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 586 322 0 0 23 0 1 1 16 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.08
Current children cumulated vsize (KiB) 867032
[startup+44.7012 s]
/proc/loadavg: 2.04 2.01 1.92 3/90 30091
/proc/meminfo: memFree=1677760/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=44.44
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49167 322 1 0 4421 21 1 1 19 0 9 0 28048117 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32603 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=43.99
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27615 322 1 0 4385 12 1 1 25 0 9 0 28048118 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4126835682 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.25
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 586 322 0 0 23 0 1 1 16 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 44.44
Current children cumulated vsize (KiB) 867032
[startup+47.9025 s]
/proc/loadavg: 2.04 2.01 1.92 3/90 30091
/proc/meminfo: memFree=1677696/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=47.62
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49176 322 1 0 4739 21 1 1 19 0 9 0 28048117 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32603 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=47.18
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27624 322 1 0 4704 12 1 1 25 0 9 0 28048118 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4126835269 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.25
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 586 322 0 0 23 0 1 1 16 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 47.62
Current children cumulated vsize (KiB) 867032
[startup+49.5077 s]
/proc/loadavg: 2.04 2.01 1.92 3/90 30091
/proc/meminfo: memFree=1677696/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=49.22
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49184 322 1 0 4899 21 1 1 19 0 9 0 28048117 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32603 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=48.78
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27632 322 1 0 4864 12 1 1 25 0 9 0 28048118 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4126862037 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.25
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 586 322 0 0 23 0 1 1 16 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 49.22
Current children cumulated vsize (KiB) 867032
[startup+50.3018 s]
/proc/loadavg: 2.04 2.01 1.92 3/90 30091
/proc/meminfo: memFree=1677696/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=50.01
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49187 322 1 0 4978 21 1 1 19 0 9 0 28048117 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32603 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=49.57
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27635 322 1 0 4943 12 1 1 25 0 9 0 28048118 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4126864544 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.25
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 586 322 0 0 23 0 1 1 16 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (KiB) 867032
[startup+50.7018 s]
/proc/loadavg: 2.04 2.01 1.92 3/90 30091
/proc/meminfo: memFree=1677696/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=50.41
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49190 322 1 0 5018 21 1 1 19 0 9 0 28048117 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32603 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=49.97
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27638 322 1 0 4983 12 1 1 25 0 9 0 28048118 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4126835269 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.25
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 586 322 0 0 23 0 1 1 16 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.41
Current children cumulated vsize (KiB) 867032
[startup+50.9018 s]
/proc/loadavg: 2.04 2.01 1.92 3/90 30091
/proc/meminfo: memFree=1677696/2055920 swapFree=4192812/4192956
[pid=30078] ppid=30076 vsize=867032 CPUtime=50.61
/proc/30078/stat : 30078 (java) S 30076 30078 29154 0 -1 0 49191 322 1 0 5038 21 1 1 19 0 9 0 28048117 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30078/statm: 216758 32603 2659 9 0 211194 0
[pid=30078/tid=30080] ppid=30076 vsize=867032 CPUtime=50.17
/proc/30078/task/30080/stat : 30080 (java) R 30076 30078 29154 0 -1 64 27639 322 1 0 5003 12 1 1 25 0 9 0 28048118 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4126835227 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30081] ppid=30076 vsize=867032 CPUtime=0.2
/proc/30078/task/30081/stat : 30081 (java) S 30076 30078 29154 0 -1 64 20117 322 0 0 12 6 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30082] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30082/stat : 30082 (java) S 30076 30078 29154 0 -1 64 20 322 0 0 0 0 1 1 17 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30083] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30083/stat : 30083 (java) S 30076 30078 29154 0 -1 64 9 322 0 0 0 0 1 1 16 0 9 0 28048120 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30084] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30084/stat : 30084 (java) S 30076 30078 29154 0 -1 64 2 322 0 0 0 0 1 1 18 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30085] ppid=30076 vsize=867032 CPUtime=0.25
/proc/30078/task/30085/stat : 30085 (java) S 30076 30078 29154 0 -1 64 586 322 0 0 23 0 1 1 16 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30078/tid=30086] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30086/stat : 30086 (java) S 30076 30078 29154 0 -1 64 0 322 0 0 0 0 1 1 19 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30078/tid=30087] ppid=30076 vsize=867032 CPUtime=0.02
/proc/30078/task/30087/stat : 30087 (java) S 30076 30078 29154 0 -1 64 10 322 0 0 0 0 1 1 15 0 9 0 28048122 887840768 32603 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 867032
Child status: 0
Real time (s): 50.9422
CPU time (s): 50.6663
CPU user time (s): 50.4133
CPU system time (s): 0.252961
CPU usage (%): 99.4584
Max. virtual memory (cumulated for all children) (KiB): 867032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 50.4133
system time used= 0.252961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 49632
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= 2365
involuntary context switches= 2196
runsolver used 0.067989 second user time and 0.175973 second system time
The end
Begin job on node91 at 2009-07-12 16:43:55
IDJOB=2095987
IDBENCH=55971
IDSOLVER=773
FILE ID=node91/2095987-1247409835
PBS_JOBID= 9510470
Free space on /tmp= 66220 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/bddSmall/normalized-bdd-21-133-18-78-28_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2095987-1247409835/watcher-2095987-1247409835 -o /tmp/evaluation-result-2095987-1247409835/solver-2095987-1247409835 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-2095987-1247409835.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0f494e9044ccf75c6f1c2068c887183b
RANDOM SEED=425371254
node91.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.241
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.241
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1799080 kB
Buffers: 37208 kB
Cached: 100968 kB
SwapCached: 0 kB
Active: 156780 kB
Inactive: 47664 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1799080 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4076 kB
Writeback: 0 kB
Mapped: 86704 kB
Slab: 37520 kB
Committed_AS: 1000564 kB
PageTables: 1848 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66216 MiB
End job on node91 at 2009-07-12 16:44:46