0.03/0.09
0.03/0.09 Abscon 112 (May, 2008)
0.18/0.24
0.18/0.24 configuration
0.18/0.24 name=mac.xml
0.18/0.29
0.18/0.29 instance
0.18/0.29 name=HOME/instance-2096945-1247411329.xml
0.28/0.33
0.28/0.33 domains being loaded...
0.28/0.34
0.28/0.34 variables being loaded...
0.28/0.38 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20 nbTotalValues=400
0.28/0.38 => wckTime=0.132 cpuTime=0.14 mem=7M892
0.28/0.38
0.28/0.38 relations being loaded...
0.78/0.84
0.78/0.84 constraints being loaded...
0.98/1.08 nbConstraints=59 nbRelationTypes=59 nbGlobalConstraints=59 nbExtensionStructures=59
0.98/1.08 nbSharedExtensionStructures=0 nbConflictsStructures=59 nbSharedConflictsStructures=0
0.98/1.08 nbSharedBinaryRepresentations=0 minDegree=5 maxDegree=14 minArity=3 maxArity=3 nbGenerators=0 nbFusions=0
0.98/1.08 symmetryWckTime=0.044 symmetryCpuTime=0.03
0.98/1.08 => wckTime=0.832 cpuTime=0.72 mem=47M513
1.17/1.20
1.17/1.20 solver IterativeSystematicSolver being built...
1.17/1.28
1.17/1.28 INFO : Forward propagation technique limited
1.26/1.35 => wckTime=1.1 cpuTime=0.84 mem=29M615
1.26/1.39
1.26/1.39 preprocessing
1.26/1.39 nbConstraintChecks=0 nbValidityChecks=171842 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0
1.26/1.39 nbRemovedValues=0 detectedInconsistency=no
1.26/1.39 => wckTime=0.036 cpuTime=0.02 mem=29M615
1.76/1.86
1.76/1.86 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=30M595)
39.47/39.94
39.47/39.94 search
39.47/39.94 run=17 nbConstraintChecks=192299 nbValidityChecks=505662998 minDepth=1 maxDepth=20 nbPropagations=1366852
39.47/39.94 nbRevisions=0 nbUselessRevisions=0 nbAssignments=32940 nbFailedAssignments=20779 nbBacktracks=12044
39.47/39.94 nbVisitedNodes=62169 nbRestartNogoods=183 nbFoundSolutions=1 nbSEliminables=0.01 nbREliminables=2.8
39.47/39.94 nbIEliminables=11.59 nbDEliminables=0 nbPEliminables=0
39.47/39.94 => wckTime=38.589 cpuTime=38.08 mem=31M543
39.47/39.94
39.47/39.94 global
39.47/39.94 nbConstraintChecks=192299 nbValidityChecks=505834840 nbPropagations=1366872 nbRestartNogoods=183
39.47/39.94 solvingWckTime=38.592 solvingCpuTime=38.09 expiredTime=no totalExploration=no nbFoundSolutions=1
39.47/39.94 firstSolutionCpuTime=38.92 globalCpuTime=38.98
39.47/39.94 => wckTime=39.694 cpuTime=38.93 mem=31M543
39.47/39.94
39.47/39.94 s SATISFIABLE
39.47/39.94 v 17 19 13 12 11 1 16 18 16 8 0 12 0 15 8 12 12 7 15 12
39.47/39.94 d NODES 32940
39.47/39.94 d CHECKS 192299
39.47/39.94
39.47/39.94 totalWckTime=39.75 totalCpuTime=38.98
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2096945-1247411329/watcher-2096945-1247411329 -o /tmp/evaluation-result-2096945-1247411329/solver-2096945-1247411329 -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-2096945-1247411329.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: 2.00 2.00 2.00 3/80 30822
/proc/meminfo: memFree=1719832/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=272 CPUtime=0
/proc/30822/stat : 30822 (java) D 30820 30822 28469 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 28195516 278528 37 996147200 134512640 134550932 4294955968 18446744073709551615 7205668 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/30822/statm: 404 126 100 9 0 46 0
[startup+0.045252 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30822
/proc/meminfo: memFree=1719832/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=861936 CPUtime=0.03
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 2276 0 1 0 2 1 0 0 18 0 5 0 28195516 882622464 1879 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 215484 1879 861 9 0 210399 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 861936
[startup+0.104186 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30822
/proc/meminfo: memFree=1719832/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=865984 CPUtime=0.09
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 3719 0 1 0 7 2 0 0 18 0 9 0 28195516 886767616 3187 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216496 3187 1690 9 0 210981 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865984
[startup+0.301738 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30822
/proc/meminfo: memFree=1719832/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=866224 CPUtime=0.28
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 5819 0 1 0 25 3 0 0 18 0 9 0 28195516 887013376 5185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216556 5185 1974 9 0 211014 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866224
[startup+0.701792 s]
/proc/loadavg: 2.00 2.00 2.00 3/80 30822
/proc/meminfo: memFree=1719832/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=866496 CPUtime=0.68
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 8366 0 1 0 63 5 0 0 18 0 9 0 28195516 887291904 7728 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216624 7728 1998 9 0 211082 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 866496
[startup+1.50291 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30831
/proc/meminfo: memFree=1670352/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867364 CPUtime=1.46
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28150 271 1 0 133 12 0 1 18 0 9 0 28195516 888180736 19067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216841 19067 2655 9 0 211277 0
[pid=30822/tid=30824] ppid=30820 vsize=867364 CPUtime=1.17
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19346 271 1 0 108 8 0 1 25 0 9 0 28195517 888180736 19067 996147200 134512640 134550932 4294955968 18446744073709551615 4126797631 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867364 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7443 271 0 0 8 1 0 1 17 0 9 0 28195519 888180736 19067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888180736 19067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888180736 19067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888180736 19067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867364 CPUtime=0.17
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 522 271 0 0 16 0 0 1 15 0 9 0 28195521 888180736 19067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888180736 19067 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888180736 19067 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) 867364
[startup+3.10112 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653584/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867364 CPUtime=3.05
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28183 271 1 0 291 13 0 1 18 0 9 0 28195516 888180736 19094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216841 19094 2656 9 0 211277 0
[pid=30822/tid=30824] ppid=30820 vsize=867364 CPUtime=2.72
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19352 271 1 0 262 9 0 1 25 0 9 0 28195517 888180736 19094 996147200 134512640 134550932 4294955968 18446744073709551615 4126797713 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867364 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 17 0 9 0 28195519 888180736 19094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888180736 19094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888180736 19094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888180736 19094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867364 CPUtime=0.21
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 548 271 0 0 20 0 0 1 15 0 9 0 28195521 888180736 19094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888180736 19094 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867364 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888180736 19094 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) 867364
[startup+6.30155 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653200/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=6.22
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28213 271 1 0 608 13 0 1 18 0 9 0 28195516 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19107 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=5.86
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19367 271 1 0 576 9 0 1 25 0 9 0 28195517 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4126770514 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.23
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 563 271 0 0 22 0 0 1 16 0 9 0 28195521 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19107 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 867496
[startup+12.7014 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653200/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=12.55
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28255 271 1 0 1241 13 0 1 18 0 9 0 28195516 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19112 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=12.18
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19402 271 1 0 1208 9 0 1 25 0 9 0 28195517 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126770547 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.24
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 570 271 0 0 23 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 867496
[startup+25.5022 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653328/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=25.21
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28294 271 1 0 2507 13 0 1 18 0 9 0 28195516 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19112 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=24.85
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19441 271 1 0 2475 9 0 1 25 0 9 0 28195517 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126770447 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.24
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 570 271 0 0 23 0 0 1 16 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.21
Current children cumulated vsize (KiB) 867496
Solver just ended. Dumping a history of the last processes samples
[startup+31.907 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653264/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=31.56
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28315 271 1 0 3142 13 0 1 18 0 9 0 28195516 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19112 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=31.19
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19462 271 1 0 3109 9 0 1 25 0 9 0 28195517 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126770357 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.24
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 570 271 0 0 23 0 0 1 16 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 31.56
Current children cumulated vsize (KiB) 867496
[startup+35.1025 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653328/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=34.72
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28324 271 1 0 3458 13 0 1 18 0 9 0 28195516 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19112 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=34.36
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19471 271 1 0 3426 9 0 1 25 0 9 0 28195517 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126770544 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.24
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 570 271 0 0 23 0 0 1 16 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) R 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 34.72
Current children cumulated vsize (KiB) 867496
[startup+38.3019 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653264/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=37.89
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28344 271 1 0 3775 13 0 1 18 0 9 0 28195516 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19112 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=37.52
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19491 271 1 0 3742 9 0 1 25 0 9 0 28195517 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126759271 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.24
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 570 271 0 0 23 0 0 1 16 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 37.89
Current children cumulated vsize (KiB) 867496
[startup+39.102 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653264/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=38.68
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28349 271 1 0 3854 13 0 1 18 0 9 0 28195516 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19112 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=38.31
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19496 271 1 0 3821 9 0 1 25 0 9 0 28195517 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126770605 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.24
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 570 271 0 0 23 0 0 1 16 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.68
Current children cumulated vsize (KiB) 867496
[startup+39.5011 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653264/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=39.08
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28352 271 1 0 3894 13 0 1 18 0 9 0 28195516 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19112 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=38.71
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19499 271 1 0 3861 9 0 1 25 0 9 0 28195517 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126865568 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.24
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 570 271 0 0 23 0 0 1 16 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 39.08
Current children cumulated vsize (KiB) 867496
[startup+39.9011 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 30835
/proc/meminfo: memFree=1653264/2055920 swapFree=4192812/4192956
[pid=30822] ppid=30820 vsize=867496 CPUtime=39.47
/proc/30822/stat : 30822 (java) S 30820 30822 28469 0 -1 0 28354 271 1 0 3933 13 0 1 18 0 9 0 28195516 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30822/statm: 216874 19112 2656 9 0 211310 0
[pid=30822/tid=30824] ppid=30820 vsize=867496 CPUtime=39.1
/proc/30822/task/30824/stat : 30824 (java) R 30820 30822 28469 0 -1 64 19501 271 1 0 3900 9 0 1 25 0 9 0 28195517 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4126770634 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30825] ppid=30820 vsize=867496 CPUtime=0.1
/proc/30822/task/30825/stat : 30825 (java) S 30820 30822 28469 0 -1 64 7444 271 0 0 8 1 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30826] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30826/stat : 30826 (java) S 30820 30822 28469 0 -1 64 19 271 0 0 0 0 0 1 17 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30827] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30827/stat : 30827 (java) S 30820 30822 28469 0 -1 64 9 271 0 0 0 0 0 1 16 0 9 0 28195519 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30828] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30828/stat : 30828 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 18 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30829] ppid=30820 vsize=867496 CPUtime=0.24
/proc/30822/task/30829/stat : 30829 (java) S 30820 30822 28469 0 -1 64 570 271 0 0 23 0 0 1 16 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30830] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30830/stat : 30830 (java) S 30820 30822 28469 0 -1 64 0 271 0 0 0 0 0 1 19 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30822/tid=30831] ppid=30820 vsize=867496 CPUtime=0.01
/proc/30822/task/30831/stat : 30831 (java) S 30820 30822 28469 0 -1 64 2 271 0 0 0 0 0 1 15 0 9 0 28195521 888315904 19112 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 39.47
Current children cumulated vsize (KiB) 867496
Child status: 0
Real time (s): 39.9674
CPU time (s): 39.541
CPU user time (s): 39.38
CPU system time (s): 0.160975
CPU usage (%): 98.9332
Max. virtual memory (cumulated for all children) (KiB): 867496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.38
system time used= 0.160975
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28727
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= 1809
involuntary context switches= 2673
runsolver used 0.082987 second user time and 0.140978 second system time
The end
Begin job on node71 at 2009-07-12 17:08:49
IDJOB=2096945
IDBENCH=56793
IDSOLVER=773
FILE ID=node71/2096945-1247411329
PBS_JOBID= 9510505
Free space on /tmp= 66392 MiB
SOLVER NAME= Abscon 112v4 AC
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-50_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-2096945-1247411329/watcher-2096945-1247411329 -o /tmp/evaluation-result-2096945-1247411329/solver-2096945-1247411329 -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-2096945-1247411329.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cec7bbc1f4223b37f158f0cf026d1076
RANDOM SEED=1514995533
node71.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.222
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.222
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: 1720312 kB
Buffers: 42100 kB
Cached: 133748 kB
SwapCached: 0 kB
Active: 199124 kB
Inactive: 81312 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720312 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3316 kB
Writeback: 0 kB
Mapped: 125048 kB
Slab: 40136 kB
Committed_AS: 1014980 kB
PageTables: 2032 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66392 MiB
End job on node71 at 2009-07-12 17:09:29