0.00/0.09
0.00/0.09 Abscon 112 (May, 2008)
0.21/0.32
0.21/0.32 configuration
0.21/0.32 name=mac.xml
0.21/0.39
0.21/0.39 instance
0.21/0.39 name=HOME/instance-1044092-1215019115.xml
0.28/0.43
0.28/0.43 domains being loaded...
0.28/0.44
0.28/0.44 variables being loaded...
0.28/0.46 nbVariables=24 nbDomainTypes=1 minDomainSize=24 maxDomainSize=24 nbTotalValues=576
0.28/0.46 => wckTime=0.136 cpuTime=0.1 mem=7M919
0.28/0.46
0.28/0.46 relations being loaded...
0.38/0.55
0.38/0.55 constraints being loaded...
0.57/0.75 nbConstraints=276 nbRelationTypes=276 nbExtensionStructures=276 nbSharedExtensionStructures=0
0.57/0.76 nbConflictsStructures=276 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=901 minDegree=23
0.57/0.76 maxDegree=23 minArity=2 maxArity=2 nbGenerators=0 nbFusions=0 symmetryWckTime=0.055 symmetryCpuTime=0.03
0.57/0.76 => wckTime=0.428 cpuTime=0.29 mem=18M687
0.67/0.83
0.67/0.83 solver IterativeSystematicSolver being built...
0.77/0.96 => wckTime=0.637 cpuTime=0.41 mem=20M454
0.77/0.97
0.77/0.97 preprocessing
0.77/0.97 nbConstraintChecks=0 nbPropagations=24 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.77/0.97 detectedInconsistency=no
0.77/0.97 => wckTime=0.0050 cpuTime=0.01 mem=21M561
0.96/1.13
0.96/1.13 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=22M536)
231.17/233.56
231.17/233.56 search
231.17/233.56 run=24 nbConstraintChecks=1295513804 minDepth=0 maxDepth=11 nbPropagations=45124786 nbRevisions=910595145
231.17/233.56 nbUselessRevisions=791537595 nbAssignments=911013 nbFailedAssignments=450827 nbBacktracks=460062
231.17/233.56 nbVisitedNodes=1703141 nbRestartNogoods=287 nbSEliminables=5.88 nbREliminables=0 nbIEliminables=0
231.17/233.56 nbDEliminables=0 nbPEliminables=0
231.17/233.56 => wckTime=232.594 cpuTime=230.32 mem=22M536
231.17/233.56
231.17/233.56 global
231.17/233.56 nbConstraintChecks=1295513804 nbPropagations=45124810 nbRevisions=910595145 nbUselessRevisions=791537595
231.17/233.56 nbRestartNogoods=287 solvingWckTime=232.597 solvingCpuTime=230.32 expiredTime=no totalExploration=yes
231.17/233.56 nbFoundSolutions=0 globalCpuTime=230.76
231.17/233.56 => wckTime=233.236 cpuTime=230.73 mem=22M536
231.17/233.56
231.17/233.56 s UNSATISFIABLE
231.17/233.56 d NODES 911013
231.17/233.56 d CHECKS 1295513804
231.17/233.57
231.17/233.57 totalWckTime=233.307 totalCpuTime=230.77
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044092-1215019115/watcher-1044092-1215019115 -o /tmp/evaluation-result-1044092-1215019115/solver-1044092-1215019115 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1044092-1215019115.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: 0.08 0.02 0.18 2/72 4295
/proc/meminfo: memFree=1878136/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=1520 CPUtime=0
/proc/4295/stat : 4295 (java) R 4293 4295 4246 0 -1 0 90 0 0 0 0 0 0 0 18 0 1 0 139722923 1556480 73 996147200 134512640 134550740 4294956144 18446744073709551615 5075552 0 0 4096 0 0 0 0 17 0 0 0
/proc/4295/statm: 380 73 56 9 0 10 0
[startup+0.10145 s]
/proc/loadavg: 0.08 0.02 0.18 2/72 4295
/proc/meminfo: memFree=1878136/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=865884 CPUtime=0.08
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 3681 0 3 0 6 2 0 0 18 0 9 0 139722923 886665216 3158 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216471 3158 1681 9 0 211026 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865884
[startup+0.202148 s]
/proc/loadavg: 0.08 0.02 0.18 2/72 4295
/proc/meminfo: memFree=1878136/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=866044 CPUtime=0.15
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 4253 0 7 0 12 3 0 0 18 0 9 0 139722923 886829056 3694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216511 3694 1833 9 0 211059 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 866044
[startup+0.301345 s]
/proc/loadavg: 0.08 0.02 0.18 2/72 4295
/proc/meminfo: memFree=1878136/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=866204 CPUtime=0.21
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 5095 0 7 0 17 4 0 0 18 0 9 0 139722923 886992896 4528 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216551 4528 1861 9 0 211099 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 866204
[startup+0.701374 s]
/proc/loadavg: 0.08 0.02 0.18 2/72 4295
/proc/meminfo: memFree=1878136/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=866972 CPUtime=0.57
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 8800 0 15 0 51 6 0 0 18 0 9 0 139722923 887779328 8174 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216743 8175 1986 9 0 211271 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 866972
[startup+1.50228 s]
/proc/loadavg: 0.08 0.02 0.18 4/83 4308
/proc/meminfo: memFree=1839648/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=1.36
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 16993 284 15 0 126 10 0 0 18 0 9 0 139722923 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10671 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=1.05
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11812 284 15 0 98 7 0 0 21 0 9 0 139722924 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4126876328 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 17 0 9 0 139722926 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.22
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 704 284 0 0 22 0 0 0 15 0 9 0 139722928 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 7 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10671 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 867840
[startup+3.10257 s]
/proc/loadavg: 0.08 0.02 0.18 3/81 4308
/proc/meminfo: memFree=1839336/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=2.95
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17009 284 15 0 285 10 0 0 18 0 9 0 139722923 888668160 10685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10685 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=2.62
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11818 284 15 0 255 7 0 0 25 0 9 0 139722924 888668160 10685 996147200 134512640 134550740 4294955984 18446744073709551615 4125952064 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 17 0 9 0 139722926 888668160 10685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 714 284 0 0 24 0 0 0 15 0 9 0 139722928 888668160 10685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10685 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 7 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10685 996147200 134512640 134550740 4294955984 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) 867840
[startup+6.30179 s]
/proc/loadavg: 0.23 0.05 0.19 3/81 4308
/proc/meminfo: memFree=1839080/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=6.11
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17029 284 15 0 601 10 0 0 18 0 9 0 139722923 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10690 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=5.79
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11822 284 15 0 571 8 0 0 25 0 9 0 139722924 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4126872886 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10690 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 867840
[startup+12.7026 s]
/proc/loadavg: 0.37 0.08 0.20 3/81 4308
/proc/meminfo: memFree=1838824/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=12.45
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17031 284 15 0 1235 10 0 0 18 0 9 0 139722923 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10692 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=12.13
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11824 284 15 0 1205 8 0 0 25 0 9 0 139722924 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4126863532 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10692 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 867840
[startup+25.5018 s]
/proc/loadavg: 0.73 0.18 0.23 3/81 4308
/proc/meminfo: memFree=1838952/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=25.13
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17033 284 15 0 2503 10 0 0 18 0 9 0 139722923 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10694 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=24.8
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11826 284 15 0 2472 8 0 0 25 0 9 0 139722924 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4126892110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10694 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 867840
[startup+51.1015 s]
/proc/loadavg: 1.16 0.32 0.28 3/81 4308
/proc/meminfo: memFree=1838952/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=50.49
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17034 284 15 0 5039 10 0 0 18 0 9 0 139722923 888668160 10695 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10695 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=50.16
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11827 284 15 0 5008 8 0 0 25 0 9 0 139722924 888668160 10695 996147200 134512640 134550740 4294955984 18446744073709551615 4125952076 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10695 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10695 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10695 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10695 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10695 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
################
# More data... #
################
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=219.76
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11831 284 15 0 21968 8 0 0 25 0 9 0 139722924 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4126882702 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 220.08
Current children cumulated vsize (KiB) 867840
Solver just ended. Dumping a history of the last processes samples
[startup+224.003 s]
/proc/loadavg: 1.95 1.04 0.56 3/81 4308
/proc/meminfo: memFree=1838504/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=221.77
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17038 284 15 0 22167 10 0 0 18 0 9 0 139722923 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10699 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=221.45
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11831 284 15 0 22137 8 0 0 25 0 9 0 139722924 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4126860341 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 221.77
Current children cumulated vsize (KiB) 867840
[startup+230.401 s]
/proc/loadavg: 1.96 1.07 0.57 3/81 4308
/proc/meminfo: memFree=1838504/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=228.1
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17038 284 15 0 22800 10 0 0 18 0 9 0 139722923 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10699 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=227.78
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11831 284 15 0 22770 8 0 0 25 0 9 0 139722924 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4126862996 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 228.1
Current children cumulated vsize (KiB) 867840
[startup+232.005 s]
/proc/loadavg: 1.96 1.07 0.57 3/81 4308
/proc/meminfo: memFree=1838504/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=229.69
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17038 284 15 0 22959 10 0 0 18 0 9 0 139722923 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10699 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=229.37
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11831 284 15 0 22929 8 0 0 25 0 9 0 139722924 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4126860341 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 229.69
Current children cumulated vsize (KiB) 867840
[startup+232.803 s]
/proc/loadavg: 1.96 1.07 0.57 3/81 4308
/proc/meminfo: memFree=1838504/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=230.48
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17038 284 15 0 23038 10 0 0 18 0 9 0 139722923 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10699 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=230.16
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11831 284 15 0 23008 8 0 0 25 0 9 0 139722924 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4126912723 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 230.48
Current children cumulated vsize (KiB) 867840
[startup+233.202 s]
/proc/loadavg: 1.96 1.07 0.57 3/81 4308
/proc/meminfo: memFree=1838504/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=230.88
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17038 284 15 0 23078 10 0 0 18 0 9 0 139722923 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10699 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=230.56
/proc/4295/task/4297/stat : 4297 (java) R 4293 4295 4246 0 -1 64 11831 284 15 0 23048 8 0 0 25 0 9 0 139722924 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4126860760 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.24
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 717 284 0 0 24 0 0 0 16 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10699 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 230.88
Current children cumulated vsize (KiB) 867840
[startup+233.603 s]
/proc/loadavg: 1.96 1.07 0.57 3/81 4308
/proc/meminfo: memFree=1838504/2055920 swapFree=4181040/4192956
[pid=4295] ppid=4293 vsize=867840 CPUtime=231.24
/proc/4295/stat : 4295 (java) S 4293 4295 4246 0 -1 0 17129 284 15 0 23114 10 0 0 18 0 9 0 139722923 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/4295/statm: 216960 10788 2633 9 0 211466 0
[pid=4295/tid=4297] ppid=4293 vsize=867840 CPUtime=230.92
/proc/4295/task/4297/stat : 4297 (java) S 4293 4295 4246 0 -1 64 11921 284 15 0 23084 8 0 0 23 0 9 0 139722924 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4298] ppid=4293 vsize=867840 CPUtime=0.04
/proc/4295/task/4298/stat : 4298 (java) S 4293 4295 4246 0 -1 64 3629 284 0 0 4 0 0 0 16 0 9 0 139722926 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4299] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4299/stat : 4299 (java) S 4293 4295 4246 0 -1 64 16 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4300] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4300/stat : 4300 (java) S 4293 4295 4246 0 -1 64 9 284 0 0 0 0 0 0 16 0 9 0 139722926 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4301] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4301/stat : 4301 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 23 0 9 0 139722928 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4302] ppid=4293 vsize=867840 CPUtime=0.25
/proc/4295/task/4302/stat : 4302 (java) S 4293 4295 4246 0 -1 64 718 284 0 0 25 0 0 0 16 0 9 0 139722928 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=4295/tid=4303] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4303/stat : 4303 (java) S 4293 4295 4246 0 -1 64 1 284 0 0 0 0 0 0 24 0 9 0 139722928 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=4295/tid=4304] ppid=4293 vsize=867840 CPUtime=0
/proc/4295/task/4304/stat : 4304 (java) S 4293 4295 4246 0 -1 64 20 284 0 0 0 0 0 0 15 0 9 0 139722928 888668160 10788 996147200 134512640 134550740 4294955984 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 231.24
Current children cumulated vsize (KiB) 867840
Child status: 0
Real time (s): 233.62
CPU time (s): 231.273
CPU user time (s): 231.152
CPU system time (s): 0.120981
CPU usage (%): 98.9954
Max. virtual memory (cumulated for all children) (KiB): 867984
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 231.152
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17440
page faults= 15
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6239
involuntary context switches= 5445
runsolver used 0.313952 second user time and 0.866868 second system time
The end
Begin job on node46 at 2008-07-02 19:18:35
IDJOB=1044092
IDBENCH=53360
IDSOLVER=363
FILE ID=node46/1044092-1215019115
PBS_JOBID= 7874378
Free space on /tmp= 66204 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-2-24/normalized-rand-24-24-276-139-56021_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= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1044092-1215019115/watcher-1044092-1215019115 -o /tmp/evaluation-result-1044092-1215019115/solver-1044092-1215019115 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution mac.xml 1 XSax HOME/instance-1044092-1215019115.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 75c8610eabf767267baca5b47a7f5bd0
RANDOM SEED=975950207
node46.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.238
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.238
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: 1878616 kB
Buffers: 12452 kB
Cached: 96528 kB
SwapCached: 5872 kB
Active: 81552 kB
Inactive: 40832 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1878616 kB
SwapTotal: 4192956 kB
SwapFree: 4181040 kB
Dirty: 5396 kB
Writeback: 0 kB
Mapped: 21476 kB
Slab: 40696 kB
Committed_AS: 344136 kB
PageTables: 1512 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66204 MiB
End job on node46 at 2008-07-02 19:22:29