0.06/0.21
0.06/0.21 Abscon 112 (May, 2008)
0.16/0.36
0.16/0.36 configuration
0.16/0.36 name=mac.xml
0.26/0.40
0.26/0.40 instance
0.26/0.40 name=HOME/instance-2093289-1247401156.xml
0.26/0.43
0.26/0.43 domains being loaded...
0.26/0.44
0.26/0.44 variables being loaded...
0.37/0.53 nbVariables=400 nbDomainTypes=21 minDomainSize=1 maxDomainSize=20 nbTotalValues=3554
0.37/0.53 => wckTime=0.16 cpuTime=0.13 mem=8M867
0.37/0.53
0.37/0.53 relations being loaded...
0.37/0.54
0.37/0.54 constraints being loaded...
0.95/1.15 nbConstraints=5114 nbRelationTypes=21 nbGlobalConstraints=22 nbSingletonDomainVariables=234
0.95/1.15 nbExtensionStructures=41 nbSharedExtensionStructures=5051 nbConflictsStructures=41
0.95/1.15 nbSharedConflictsStructures=5051 nbSharedBinaryRepresentations=858 minDegree=16 maxDegree=39 minArity=2
0.95/1.15 avgArity=2.03 maxArity=10 nbGenerators=0 nbFusions=0 symmetryWckTime=0.246 symmetryCpuTime=0.15 nbCliques=22
0.95/1.15 => wckTime=0.782 cpuTime=0.53 mem=40M180
1.05/1.26
1.05/1.26 solver IterativeSystematicSolver being built...
1.14/1.33
1.14/1.33 INFO : Forward propagation technique limited
1.24/1.41 => wckTime=1.041 cpuTime=0.66 mem=25M334
1.24/1.46
1.24/1.46 preprocessing
1.24/1.46 nbConstraintChecks=41601 nbPropagations=400 nbRevisions=3876 nbUselessRevisions=1195 nbRemovedValues=2681
1.24/1.46 detectedInconsistency=no
1.24/1.46 => wckTime=0.046 cpuTime=0.04 mem=26M300
1.44/1.68
1.44/1.68 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=27M265)
648.08/648.51
648.08/648.51 search
648.08/648.52 run=23 nbConstraintChecks=578411573 minDepth=0 maxDepth=400 nbPropagations=56349701 nbRevisions=1193808321
648.08/648.52 nbUselessRevisions=1102039422 nbAssignments=2289156 nbFailedAssignments=327939 nbBacktracks=1959825
648.08/648.52 nbVisitedNodes=2999195 nbRestartNogoods=188 nbFoundSolutions=1 nbSEliminables=0 nbREliminables=234
648.08/648.52 nbIEliminables=138.22 nbDEliminables=0 nbPEliminables=0
648.08/648.52 => wckTime=647.105 cpuTime=646.65 mem=49M694
648.08/648.52
648.08/648.52 global
648.08/648.52 nbConstraintChecks=578453174 nbPropagations=56350101 nbRevisions=1193812197 nbUselessRevisions=1102040617
648.08/648.52 nbRestartNogoods=188 solvingWckTime=647.107 solvingCpuTime=646.65 expiredTime=no totalExploration=no
648.08/648.52 nbFoundSolutions=1 firstSolutionCpuTime=647.3 globalCpuTime=647.34
648.08/648.52 => wckTime=648.15 cpuTime=647.31 mem=49M694
648.08/648.52
648.08/648.52 s SATISFIABLE
648.08/648.52 v 16 10 14 6 2 1 18 4 12 0 15 17 19 3 13 9 7 5 8 11 17 6 10 15 8 9 0 11 7 1 19 5 18 2 12 3 16 13 14 4 10 16 6 13 12 2 5 17 9 18 4 3 8 14 7 19 15 0 11 1 18 17 13 1 7 16 11 6 5 9 12 15 4 0 10 2 8 14 19 3 5 14 9 10 19 6 17 3 18 13 16 4 2 11 8 12 0 15 1 7 4 18 12 19 11 8 13 5 3 14 0 6 1 9 17 7 2 16 10 15 1 9 2 17 16 3 19 7 15 4 18 13 6 8 14 11 12 10 5 0 13 3 4 16 15 17 1 10 0 5 7 11 12 19 18 14 6 9 2 8 2 12 19 11 5 10 14 0 1 8 3 16 7 6 4 17 9 18 15 13 0 11 3 4 18 7 8 1 14 17 2 12 16 15 5 10 19 6 13 9 19 8 1 0 4 5 12 9 10 15 17 2 3 16 11 13 14 7 6 18 12 19 18 7 6 0 9 8 13 11 10 14 15 5 2 16 3 1 4 17 14 7 15 18 1 19 2 16 11 12 6 0 5 13 9 8 4 17 3 10 7 2 0 12 14 15 3 13 6 10 9 8 17 4 16 1 5 11 18 19 3 15 5 2 13 12 16 18 4 19 11 9 14 17 1 0 10 8 7 6 8 5 11 9 0 13 4 12 16 3 14 7 10 18 6 15 1 19 17 2 9 4 8 5 3 14 10 19 17 7 1 18 13 12 15 6 11 2 0 16 11 0 7 3 17 4 15 2 8 6 5 1 9 10 19 18 13 12 16 14 15 1 17 8 10 11 6 14 2 16 13 19 0 7 3 5 18 4 9 12 6 13 16 14 9 18 7 15 19 2 8 10 11 1 0 4 17 3 12 5
648.08/648.52 d NODES 2289156
648.08/648.52 d CHECKS 578453174
648.08/648.52
648.08/648.52 totalWckTime=648.218 totalCpuTime=647.34
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2093289-1247401156/watcher-2093289-1247401156 -o /tmp/evaluation-result-2093289-1247401156/solver-2093289-1247401156 -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-2093289-1247401156.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.21 0.05 0.01 4/80 30114
/proc/meminfo: memFree=1580344/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=152 CPUtime=0
/proc/30114/stat : 30114 (java) R 30112 30114 29987 0 -1 0 205 0 0 0 0 0 0 0 18 0 1 0 27175931 155648 26 996147200 134512640 134550932 4294955968 18446744073709551615 3809579 0 0 4096 0 0 0 0 17 0 0 0
/proc/30114/statm: 38 26 19 9 0 4 0
[startup+0.0115111 s]
/proc/loadavg: 0.21 0.05 0.01 4/80 30114
/proc/meminfo: memFree=1580344/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=10768 CPUtime=0
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 737 0 0 0 0 0 0 0 18 0 2 0 27175931 11026432 518 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 2692 518 237 9 0 1197 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10768
[startup+0.101526 s]
/proc/loadavg: 0.21 0.05 0.01 4/80 30114
/proc/meminfo: memFree=1580344/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=10964 CPUtime=0
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 827 0 0 0 0 0 0 0 18 0 2 0 27175931 11227136 581 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 2741 581 287 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10964
[startup+0.301552 s]
/proc/loadavg: 0.21 0.05 0.01 4/80 30114
/proc/meminfo: memFree=1580344/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=866144 CPUtime=0.16
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 4576 0 1 0 14 2 0 0 18 0 9 0 27175931 886931456 3997 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216536 3998 1881 9 0 211014 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 866144
[startup+0.701608 s]
/proc/loadavg: 0.21 0.05 0.01 4/80 30114
/proc/meminfo: memFree=1580344/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867532 CPUtime=0.56
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 8165 0 1 0 52 4 0 0 18 0 9 0 27175931 888352768 7527 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216883 7528 2003 9 0 211341 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 867532
[startup+1.50272 s]
/proc/loadavg: 0.21 0.05 0.01 4/89 30123
/proc/meminfo: memFree=1534384/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867944 CPUtime=1.34
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 25371 538 1 0 118 11 5 0 18 0 9 0 27175931 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216986 16117 2657 9 0 211422 0
[pid=30114/tid=30116] ppid=30112 vsize=867944 CPUtime=0.94
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 19205 538 1 0 81 8 5 0 25 0 9 0 27175932 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867944 CPUtime=0.14
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 4440 538 0 0 9 0 5 0 18 0 9 0 27175946 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867944 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867944 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 7 538 0 0 0 0 5 0 16 0 9 0 27175946 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867944 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867944 CPUtime=0.32
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 882 538 0 0 26 1 5 0 15 0 9 0 27175948 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867944 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867944 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 14 538 0 0 0 0 5 0 15 0 9 0 27175948 888774656 16117 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 867944
[startup+3.10295 s]
/proc/loadavg: 0.21 0.05 0.01 3/89 30127
/proc/meminfo: memFree=1525672/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=868076 CPUtime=2.95
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 25417 538 1 0 278 12 5 0 18 0 9 0 27175931 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 217019 16157 2657 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=868076 CPUtime=2.49
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 19214 538 1 0 236 8 5 0 25 0 9 0 27175932 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4127165523 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=868076 CPUtime=0.14
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 4440 538 0 0 9 0 5 0 17 0 9 0 27175946 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 7 538 0 0 0 0 5 0 16 0 9 0 27175946 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=868076 CPUtime=0.37
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 919 538 0 0 31 1 5 0 15 0 9 0 27175948 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 14 538 0 0 0 0 5 0 15 0 9 0 27175948 888909824 16157 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 868076
[startup+6.3014 s]
/proc/loadavg: 0.35 0.08 0.02 3/89 30127
/proc/meminfo: memFree=1521320/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=868076 CPUtime=6.14
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 26570 538 1 0 597 12 5 0 18 0 9 0 27175931 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 217019 16160 2657 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=868076 CPUtime=5.68
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 20338 538 1 0 554 9 5 0 25 0 9 0 27175932 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4127127631 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=868076 CPUtime=0.14
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 4440 538 0 0 9 0 5 0 17 0 9 0 27175946 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 7 538 0 0 0 0 5 0 16 0 9 0 27175946 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=868076 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 924 538 0 0 32 1 5 0 16 0 9 0 27175948 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888909824 16160 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 868076
[startup+12.7023 s]
/proc/loadavg: 0.48 0.11 0.03 3/89 30127
/proc/meminfo: memFree=1512552/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=868076 CPUtime=12.54
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 29961 538 1 0 1235 14 5 0 18 0 9 0 27175931 888909824 18699 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 217019 18699 2657 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=868076 CPUtime=12.08
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23728 538 1 0 1193 10 5 0 25 0 9 0 27175932 888909824 18699 996147200 134512640 134550932 4294955968 18446744073709551615 4127125959 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=868076 CPUtime=0.14
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 4440 538 0 0 9 0 5 0 16 0 9 0 27175946 888909824 18699 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888909824 18699 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 7 538 0 0 0 0 5 0 16 0 9 0 27175946 888909824 18699 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888909824 18700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=868076 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 925 538 0 0 32 1 5 0 16 0 9 0 27175948 888909824 18700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888909824 18700 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=868076 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888909824 18700 996147200 134512640 134550932 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) 868076
[startup+25.5011 s]
/proc/loadavg: 0.82 0.20 0.07 3/89 30127
/proc/meminfo: memFree=1505768/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867988 CPUtime=25.33
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 31243 538 1 0 2513 15 5 0 18 0 9 0 27175931 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216997 19949 2638 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=24.85
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23943 538 1 0 2469 11 5 0 25 0 9 0 27175932 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4127114622 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.16
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 5506 538 0 0 10 1 5 0 16 0 9 0 27175946 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 925 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888819712 19949 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 867988
[startup+51.1028 s]
/proc/loadavg: 1.22 0.35 0.12 3/89 30127
/proc/meminfo: memFree=1497000/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867988 CPUtime=50.93
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 32311 538 1 0 5072 16 5 0 18 0 9 0 27175931 888819712 21014 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216997 21014 2638 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=50.43
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23945 538 1 0 5027 11 5 0 25 0 9 0 27175932 888819712 21014 996147200 134512640 134550932 4294955968 18446744073709551615 4127163086 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.17
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 6571 538 0 0 11 1 5 0 16 0 9 0 27175946 888819712 21014 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21014 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21014 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 21014 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 926 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 21014 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 21014 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=581.35
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23973 538 1 0 58118 12 5 0 25 0 9 0 27175932 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4127122142 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.24
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 6580 538 0 0 17 2 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 926 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 867988
[startup+642.303 s]
/proc/loadavg: 1.99 1.76 0.99 3/89 30127
/proc/meminfo: memFree=1496296/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867988 CPUtime=641.89
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 32351 538 1 0 64167 17 5 0 18 0 9 0 27175931 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216997 21023 2638 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=641.32
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23976 538 1 0 64115 12 5 0 25 0 9 0 27175932 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4127135388 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.25
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 6580 538 0 0 18 2 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 926 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 867988
Solver just ended. Dumping a history of the last processes samples
[startup+643.103 s]
/proc/loadavg: 1.99 1.76 0.99 3/89 30127
/proc/meminfo: memFree=1496296/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867988 CPUtime=642.68
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 32351 538 1 0 64246 17 5 0 18 0 9 0 27175931 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216997 21023 2638 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=642.12
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23976 538 1 0 64195 12 5 0 25 0 9 0 27175932 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4125952186 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.25
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 6580 538 0 0 18 2 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 926 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 642.68
Current children cumulated vsize (KiB) 867988
[startup+646.301 s]
/proc/loadavg: 1.99 1.76 0.99 3/89 30127
/proc/meminfo: memFree=1496232/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867988 CPUtime=645.88
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 32351 538 1 0 64566 17 5 0 18 0 9 0 27175931 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216997 21023 2638 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=645.31
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23976 538 1 0 64514 12 5 0 25 0 9 0 27175932 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4127114510 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.25
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 6580 538 0 0 18 2 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 926 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 645.88
Current children cumulated vsize (KiB) 867988
[startup+647.906 s]
/proc/loadavg: 1.99 1.77 0.99 3/89 30127
/proc/meminfo: memFree=1496232/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867988 CPUtime=647.48
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 32351 538 1 0 64726 17 5 0 18 0 9 0 27175931 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216997 21023 2638 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=646.92
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23976 538 1 0 64675 12 5 0 25 0 9 0 27175932 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4127127109 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.25
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 6580 538 0 0 18 2 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 926 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 647.48
Current children cumulated vsize (KiB) 867988
[startup+648.301 s]
/proc/loadavg: 1.99 1.77 0.99 3/89 30127
/proc/meminfo: memFree=1496232/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867988 CPUtime=647.88
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 32351 538 1 0 64766 17 5 0 18 0 9 0 27175931 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216997 21023 2638 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=647.31
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23976 538 1 0 64714 12 5 0 25 0 9 0 27175932 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4127130858 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.25
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 6580 538 0 0 18 2 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 926 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 647.88
Current children cumulated vsize (KiB) 867988
[startup+648.501 s]
/proc/loadavg: 1.99 1.77 0.99 3/89 30127
/proc/meminfo: memFree=1496232/2055920 swapFree=4192812/4192956
[pid=30114] ppid=30112 vsize=867988 CPUtime=648.08
/proc/30114/stat : 30114 (java) S 30112 30114 29987 0 -1 0 32351 538 1 0 64786 17 5 0 18 0 9 0 27175931 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30114/statm: 216997 21023 2638 9 0 211455 0
[pid=30114/tid=30116] ppid=30112 vsize=867988 CPUtime=647.51
/proc/30114/task/30116/stat : 30116 (java) R 30112 30114 29987 0 -1 64 23976 538 1 0 64734 12 5 0 25 0 9 0 27175932 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4127165570 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30117] ppid=30112 vsize=867988 CPUtime=0.25
/proc/30114/task/30117/stat : 30117 (java) S 30112 30114 29987 0 -1 64 6580 538 0 0 18 2 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30118] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30118/stat : 30118 (java) S 30112 30114 29987 0 -1 64 19 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30119] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30119/stat : 30119 (java) S 30112 30114 29987 0 -1 64 8 538 0 0 0 0 5 0 16 0 9 0 27175946 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30120] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30120/stat : 30120 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 22 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30121] ppid=30112 vsize=867988 CPUtime=0.38
/proc/30114/task/30121/stat : 30121 (java) S 30112 30114 29987 0 -1 64 926 538 0 0 32 1 5 0 16 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30122] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30122/stat : 30122 (java) S 30112 30114 29987 0 -1 64 1 538 0 0 0 0 5 0 23 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30114/tid=30123] ppid=30112 vsize=867988 CPUtime=0.05
/proc/30114/task/30123/stat : 30123 (java) S 30112 30114 29987 0 -1 64 38 538 0 0 0 0 5 0 15 0 9 0 27175948 888819712 21023 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 648.08
Current children cumulated vsize (KiB) 867988
Child status: 0
Real time (s): 648.563
CPU time (s): 648.14
CPU user time (s): 647.942
CPU system time (s): 0.197969
CPU usage (%): 99.9349
Max. virtual memory (cumulated for all children) (KiB): 868076
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 647.942
system time used= 0.197969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32923
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= 15085
involuntary context switches= 17316
runsolver used 0.92086 second user time and 2.03469 second system time
The end
Begin job on node49 at 2009-07-12 14:19:16
IDJOB=2093289
IDBENCH=53498
IDSOLVER=773
FILE ID=node49/2093289-1247401156
PBS_JOBID= 9510547
Free space on /tmp= 66420 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/QWH-20/normalized-qwh-20-166-6_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-2093289-1247401156/watcher-2093289-1247401156 -o /tmp/evaluation-result-2093289-1247401156/solver-2093289-1247401156 -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-2093289-1247401156.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 00d8f3fbf924040bf8edfb5373829ee1
RANDOM SEED=895175559
node49.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.232
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.232
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: 1580888 kB
Buffers: 73872 kB
Cached: 234032 kB
SwapCached: 0 kB
Active: 255348 kB
Inactive: 145080 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1580888 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5308 kB
Writeback: 0 kB
Mapped: 113056 kB
Slab: 59604 kB
Committed_AS: 1020316 kB
PageTables: 1936 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= 66420 MiB
End job on node49 at 2009-07-12 14:30:05