0.19/0.29 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.19/0.29 c This is free software under the dual EPL/GNU LGPL licenses.
0.19/0.29 c See www.sat4j.org for details.
0.19/0.29 c That software uses the Rhino library from the Mozilla project.
0.29/0.33 c version 9.9.9.token
0.29/0.33 c sun.arch.data.model 32
0.29/0.33 c java.version 1.6.0_06
0.29/0.33 c os.name Linux
0.29/0.33 c os.version 2.6.9-22.EL.rootsmp
0.29/0.33 c os.arch i386
0.29/0.33 c Free memory 669864272
0.29/0.33 c Max memory 672137216
0.29/0.33 c Total memory 672137216
0.29/0.33 c Number of processors 2
0.29/0.38 c c --- Begin Solver configuration ---
0.29/0.38 c Stops conflict analysis at the first Unique Implication Point
0.29/0.38 c org.sat4j.minisat.constraints.MixedDataStructureDaniel@1d2068d
0.29/0.38 c Learn all clauses as in MiniSAT
0.29/0.38 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.29/0.38 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.29/0.38 c Expensive reason simplification
0.29/0.38 c MiniSAT restarts strategy
0.29/0.38 c timeout=2147483s
0.29/0.38 c DB Simplification allowed=false
0.29/0.38 c --- End Solver configuration ---
0.29/0.38 c solving HOME/instance-1042108-1215002580.xml
0.29/0.38 c reading problem ...
0.59/0.63 c reading problem named null
0.59/0.63 c reading domains done.
0.59/0.64 c reading variables done.
0.90/0.91 c reading predicates done.
1.00/1.09 c reading constraints
17.90/16.37 c >>>> Reference not supported: global:weightedsum <<<<
17.90/16.37 c starts : 0
17.90/16.37 c conflicts : 0
17.90/16.37 c decisions : 0
17.90/16.37 c propagations : 0
17.90/16.37 c inspects : 0
17.90/16.37 c learnt literals : 0
17.90/16.37 c learnt binary clauses : 0
17.90/16.37 c learnt ternary clauses : 0
17.90/16.37 c learnt clauses : 0
17.90/16.37 c ignored clauses : 0
17.90/16.37 c root simplifications : 0
17.90/16.37 c removed literals (reason simplification) : 0
17.90/16.37 c reason swapping (by a shorter reason) : 0
17.90/16.37 c Calls to reduceDB : 0
17.90/16.37 c speed (assignments/second) : 0.0
17.90/16.37 c non guided choices 0
17.90/16.37 s UNKNOWN
17.90/16.37 c Total wall clock time (in seconds) : 15.996
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1042108-1215002580/watcher-1042108-1215002580 -o /tmp/evaluation-result-1042108-1215002580/solver-1042108-1215002580 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1042108-1215002580.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: 1.92 1.98 1.94 3/72 10539
/proc/meminfo: memFree=1525864/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=1804 CPUtime=0
/proc/10539/stat : 10539 (java6) D 10537 10539 9881 0 -1 0 183 0 0 0 0 0 0 0 18 0 1 0 1979230433 1847296 155 996147200 134512640 134550740 4294956192 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 0 0 0
/proc/10539/statm: 451 155 111 9 0 93 0
[startup+0.0344021 s]
/proc/loadavg: 1.92 1.98 1.94 3/72 10539
/proc/meminfo: memFree=1525864/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=800744 CPUtime=0.02
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 2375 0 1 0 1 1 0 0 18 0 4 0 1979230433 819961856 2113 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 200186 2114 912 9 0 197569 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 800744
[startup+0.101414 s]
/proc/loadavg: 1.92 1.98 1.94 3/72 10539
/proc/meminfo: memFree=1525864/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=804756 CPUtime=0.09
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 3089 0 1 0 7 2 0 0 18 0 12 0 1979230433 824070144 2821 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 201189 2834 1123 9 0 198558 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804756
[startup+0.301432 s]
/proc/loadavg: 1.92 1.98 1.94 3/72 10539
/proc/meminfo: memFree=1525864/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=807744 CPUtime=0.29
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 4984 0 1 0 26 3 0 0 18 0 12 0 1979230433 827129856 4291 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 201936 4291 1308 9 0 199305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 807744
[startup+0.701466 s]
/proc/loadavg: 1.92 1.98 1.94 3/72 10539
/proc/meminfo: memFree=1525864/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=807772 CPUtime=0.69
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 6296 0 1 0 64 5 0 0 18 0 12 0 1979230433 827158528 5403 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 201943 5403 1336 9 0 199305 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 807772
[startup+1.50254 s]
/proc/loadavg: 1.92 1.98 1.94 3/84 10551
/proc/meminfo: memFree=1506504/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=812072 CPUtime=1.79
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 9528 0 1 0 172 7 0 0 18 0 12 0 1979230433 831561728 7521 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 203018 7521 1366 9 0 200380 0
[pid=10539/tid=10541] ppid=10537 vsize=812072 CPUtime=1.08
/proc/10539/task/10541/stat : 10541 (java) R 10537 10539 9881 0 -1 64 5219 0 1 0 103 5 0 0 19 0 12 0 1979230434 831561728 7521 996147200 134512640 134550740 4294956032 18446744073709551615 4109604524 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10542] ppid=10537 vsize=812072 CPUtime=0
/proc/10539/task/10542/stat : 10542 (java) S 10537 10539 9881 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 1979230435 831561728 7521 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10543] ppid=10537 vsize=812072 CPUtime=0
/proc/10539/task/10543/stat : 10543 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 1979230435 831561728 7521 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10544] ppid=10537 vsize=812072 CPUtime=0
/proc/10539/task/10544/stat : 10544 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 16 0 12 0 1979230437 831561728 7521 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10545] ppid=10537 vsize=812072 CPUtime=0
/proc/10539/task/10545/stat : 10545 (java) S 10537 10539 9881 0 -1 64 8 0 0 0 0 0 0 0 23 0 12 0 1979230437 831561728 7521 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10546] ppid=10537 vsize=812072 CPUtime=0
/proc/10539/task/10546/stat : 10546 (java) S 10537 10539 9881 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 1979230437 831561728 7522 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10547] ppid=10537 vsize=812072 CPUtime=0
/proc/10539/task/10547/stat : 10547 (java) S 10537 10539 9881 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1979230441 831561728 7522 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10548] ppid=10537 vsize=812072 CPUtime=0.31
/proc/10539/task/10548/stat : 10548 (java) R 10537 10539 9881 0 -1 64 843 0 0 0 31 0 0 0 18 0 12 0 1979230441 831561728 7522 996147200 134512640 134550740 4294956032 18446744073709551615 104123580 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10549] ppid=10537 vsize=812072 CPUtime=0.36
/proc/10539/task/10549/stat : 10549 (java) R 10537 10539 9881 0 -1 64 2704 0 0 0 36 0 0 0 18 0 12 0 1979230441 831561728 7522 996147200 134512640 134550740 4294956032 18446744073709551615 106710069 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10550] ppid=10537 vsize=812072 CPUtime=0
/proc/10539/task/10550/stat : 10550 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 1979230441 831561728 7522 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10551] ppid=10537 vsize=812072 CPUtime=0
/proc/10539/task/10551/stat : 10551 (java) S 10537 10539 9881 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1979230441 831561728 7522 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 812072
[startup+3.10168 s]
/proc/loadavg: 1.92 1.98 1.94 4/84 10551
/proc/meminfo: memFree=1490376/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=820020 CPUtime=3.87
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 22762 0 1 0 372 15 0 0 18 0 12 0 1979230433 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 205005 18421 1375 9 0 202367 0
[pid=10539/tid=10541] ppid=10537 vsize=820020 CPUtime=2.23
/proc/10539/task/10541/stat : 10541 (java) R 10537 10539 9881 0 -1 64 13875 0 1 0 214 9 0 0 23 0 12 0 1979230434 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4109805900 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10542] ppid=10537 vsize=820020 CPUtime=0
/proc/10539/task/10542/stat : 10542 (java) S 10537 10539 9881 0 -1 64 3 0 0 0 0 0 0 0 20 0 12 0 1979230435 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10543] ppid=10537 vsize=820020 CPUtime=0
/proc/10539/task/10543/stat : 10543 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 21 0 12 0 1979230435 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10544] ppid=10537 vsize=820020 CPUtime=0.01
/proc/10539/task/10544/stat : 10544 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 1 0 0 17 0 12 0 1979230437 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10545] ppid=10537 vsize=820020 CPUtime=0
/proc/10539/task/10545/stat : 10545 (java) S 10537 10539 9881 0 -1 64 8 0 0 0 0 0 0 0 23 0 12 0 1979230437 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10546] ppid=10537 vsize=820020 CPUtime=0
/proc/10539/task/10546/stat : 10546 (java) S 10537 10539 9881 0 -1 64 4 0 0 0 0 0 0 0 24 0 12 0 1979230437 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10547] ppid=10537 vsize=820020 CPUtime=0
/proc/10539/task/10547/stat : 10547 (java) S 10537 10539 9881 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1979230441 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10548] ppid=10537 vsize=820020 CPUtime=0.72
/proc/10539/task/10548/stat : 10548 (java) S 10537 10539 9881 0 -1 64 2759 0 0 0 71 1 0 0 17 0 12 0 1979230441 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10549] ppid=10537 vsize=820020 CPUtime=0.85
/proc/10539/task/10549/stat : 10549 (java) S 10537 10539 9881 0 -1 64 5366 0 0 0 83 2 0 0 19 0 12 0 1979230441 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10550] ppid=10537 vsize=820020 CPUtime=0
/proc/10539/task/10550/stat : 10550 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 1979230441 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10551] ppid=10537 vsize=820020 CPUtime=0
/proc/10539/task/10551/stat : 10551 (java) S 10537 10539 9881 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1979230441 839700480 18421 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.87
Current children cumulated vsize (KiB) 820020
[startup+6.30297 s]
/proc/loadavg: 1.93 1.98 1.94 3/84 10551
/proc/meminfo: memFree=1413000/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=821576 CPUtime=7.1
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 38283 0 1 0 687 23 0 0 18 0 12 0 1979230433 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 205394 33347 1380 9 0 202756 0
[pid=10539/tid=10541] ppid=10537 vsize=821576 CPUtime=4.64
/proc/10539/task/10541/stat : 10541 (java) R 10537 10539 9881 0 -1 64 17312 0 1 0 453 11 0 0 21 0 12 0 1979230434 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4109681819 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10542] ppid=10537 vsize=821576 CPUtime=0.37
/proc/10539/task/10542/stat : 10542 (java) S 10537 10539 9881 0 -1 64 5499 0 0 0 35 2 0 0 17 0 12 0 1979230435 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10543] ppid=10537 vsize=821576 CPUtime=0.36
/proc/10539/task/10543/stat : 10543 (java) S 10537 10539 9881 0 -1 64 6555 0 0 0 34 2 0 0 17 0 12 0 1979230435 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10544] ppid=10537 vsize=821576 CPUtime=0.01
/proc/10539/task/10544/stat : 10544 (java) S 10537 10539 9881 0 -1 64 30 0 0 0 0 1 0 0 17 0 12 0 1979230437 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10545] ppid=10537 vsize=821576 CPUtime=0
/proc/10539/task/10545/stat : 10545 (java) S 10537 10539 9881 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 1979230437 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10546] ppid=10537 vsize=821576 CPUtime=0
/proc/10539/task/10546/stat : 10546 (java) S 10537 10539 9881 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1979230437 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10547] ppid=10537 vsize=821576 CPUtime=0
/proc/10539/task/10547/stat : 10547 (java) S 10537 10539 9881 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1979230441 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10548] ppid=10537 vsize=821576 CPUtime=0.73
/proc/10539/task/10548/stat : 10548 (java) S 10537 10539 9881 0 -1 64 2759 0 0 0 72 1 0 0 16 0 12 0 1979230441 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10549] ppid=10537 vsize=821576 CPUtime=0.91
/proc/10539/task/10549/stat : 10549 (java) S 10537 10539 9881 0 -1 64 5367 0 0 0 89 2 0 0 16 0 12 0 1979230441 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10550] ppid=10537 vsize=821576 CPUtime=0
/proc/10539/task/10550/stat : 10550 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 1979230441 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10551] ppid=10537 vsize=821576 CPUtime=0
/proc/10539/task/10551/stat : 10551 (java) S 10537 10539 9881 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1979230441 841293824 33347 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 7.1
Current children cumulated vsize (KiB) 821576
[startup+12.7015 s]
/proc/loadavg: 1.93 1.98 1.94 3/84 10551
/proc/meminfo: memFree=1335816/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=826700 CPUtime=14.2
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 58395 0 1 0 1388 32 0 0 18 0 12 0 1979230433 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 206675 52267 1380 9 0 204037 0
[pid=10539/tid=10541] ppid=10537 vsize=826700 CPUtime=8.61
/proc/10539/task/10541/stat : 10541 (java) R 10537 10539 9881 0 -1 64 17328 0 1 0 850 11 0 0 23 0 12 0 1979230434 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4109697187 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10542] ppid=10537 vsize=826700 CPUtime=1.77
/proc/10539/task/10542/stat : 10542 (java) S 10537 10539 9881 0 -1 64 17224 0 0 0 169 8 0 0 16 0 12 0 1979230435 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10543] ppid=10537 vsize=826700 CPUtime=1.8
/proc/10539/task/10543/stat : 10543 (java) S 10537 10539 9881 0 -1 64 14904 0 0 0 174 6 0 0 17 0 12 0 1979230435 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10544] ppid=10537 vsize=826700 CPUtime=0.01
/proc/10539/task/10544/stat : 10544 (java) S 10537 10539 9881 0 -1 64 30 0 0 0 0 1 0 0 16 0 12 0 1979230437 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10545] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10545/stat : 10545 (java) S 10537 10539 9881 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 1979230437 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10546] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10546/stat : 10546 (java) S 10537 10539 9881 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1979230437 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10547] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10547/stat : 10547 (java) S 10537 10539 9881 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1979230441 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10548] ppid=10537 vsize=826700 CPUtime=0.82
/proc/10539/task/10548/stat : 10548 (java) S 10537 10539 9881 0 -1 64 2763 0 0 0 81 1 0 0 16 0 12 0 1979230441 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10549] ppid=10537 vsize=826700 CPUtime=1.12
/proc/10539/task/10549/stat : 10549 (java) S 10537 10539 9881 0 -1 64 5385 0 0 0 110 2 0 0 16 0 12 0 1979230441 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10550] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10550/stat : 10550 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 1979230441 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10551] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10551/stat : 10551 (java) S 10537 10539 9881 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1979230441 846540800 52267 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 14.2
Current children cumulated vsize (KiB) 826700
Solver just ended. Dumping a history of the last processes samples
[startup+14.3067 s]
/proc/loadavg: 1.94 1.98 1.94 3/84 10551
/proc/meminfo: memFree=1305608/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=826700 CPUtime=15.79
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 62324 0 1 0 1545 34 0 0 18 0 12 0 1979230433 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 206675 56193 1380 9 0 204037 0
[pid=10539/tid=10541] ppid=10537 vsize=826700 CPUtime=9.67
/proc/10539/task/10541/stat : 10541 (java) R 10537 10539 9881 0 -1 64 17332 0 1 0 955 12 0 0 25 0 12 0 1979230434 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4109610121 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10542] ppid=10537 vsize=826700 CPUtime=1.96
/proc/10539/task/10542/stat : 10542 (java) S 10537 10539 9881 0 -1 64 18932 0 0 0 188 8 0 0 16 0 12 0 1979230435 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10543] ppid=10537 vsize=826700 CPUtime=2.01
/proc/10539/task/10543/stat : 10543 (java) S 10537 10539 9881 0 -1 64 17110 0 0 0 194 7 0 0 16 0 12 0 1979230435 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10544] ppid=10537 vsize=826700 CPUtime=0.01
/proc/10539/task/10544/stat : 10544 (java) S 10537 10539 9881 0 -1 64 30 0 0 0 0 1 0 0 16 0 12 0 1979230437 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10545] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10545/stat : 10545 (java) S 10537 10539 9881 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 1979230437 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10546] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10546/stat : 10546 (java) S 10537 10539 9881 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1979230437 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10547] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10547/stat : 10547 (java) S 10537 10539 9881 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1979230441 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10548] ppid=10537 vsize=826700 CPUtime=0.83
/proc/10539/task/10548/stat : 10548 (java) S 10537 10539 9881 0 -1 64 2764 0 0 0 82 1 0 0 16 0 12 0 1979230441 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10549] ppid=10537 vsize=826700 CPUtime=1.24
/proc/10539/task/10549/stat : 10549 (java) S 10537 10539 9881 0 -1 64 5395 0 0 0 122 2 0 0 16 0 12 0 1979230441 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10550] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10550/stat : 10550 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 1979230441 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10551] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10551/stat : 10551 (java) S 10537 10539 9881 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1979230441 846540800 56193 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 15.79
Current children cumulated vsize (KiB) 826700
[startup+15.1028 s]
/proc/loadavg: 1.94 1.98 1.94 3/84 10551
/proc/meminfo: memFree=1305608/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=826700 CPUtime=16.57
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 66762 0 1 0 1622 35 0 0 18 0 12 0 1979230433 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 206675 60629 1380 9 0 204037 0
[pid=10539/tid=10541] ppid=10537 vsize=826700 CPUtime=10.18
/proc/10539/task/10541/stat : 10541 (java) R 10537 10539 9881 0 -1 64 17334 0 1 0 1006 12 0 0 25 0 12 0 1979230434 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4109610452 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10542] ppid=10537 vsize=826700 CPUtime=2.08
/proc/10539/task/10542/stat : 10542 (java) S 10537 10539 9881 0 -1 64 19571 0 0 0 199 9 0 0 16 0 12 0 1979230435 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10543] ppid=10537 vsize=826700 CPUtime=2.17
/proc/10539/task/10543/stat : 10543 (java) S 10537 10539 9881 0 -1 64 20907 0 0 0 209 8 0 0 16 0 12 0 1979230435 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10544] ppid=10537 vsize=826700 CPUtime=0.01
/proc/10539/task/10544/stat : 10544 (java) S 10537 10539 9881 0 -1 64 30 0 0 0 0 1 0 0 16 0 12 0 1979230437 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10545] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10545/stat : 10545 (java) S 10537 10539 9881 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 1979230437 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10546] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10546/stat : 10546 (java) S 10537 10539 9881 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1979230437 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10547] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10547/stat : 10547 (java) S 10537 10539 9881 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1979230441 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10548] ppid=10537 vsize=826700 CPUtime=0.84
/proc/10539/task/10548/stat : 10548 (java) S 10537 10539 9881 0 -1 64 2764 0 0 0 83 1 0 0 17 0 12 0 1979230441 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10549] ppid=10537 vsize=826700 CPUtime=1.25
/proc/10539/task/10549/stat : 10549 (java) S 10537 10539 9881 0 -1 64 5395 0 0 0 123 2 0 0 16 0 12 0 1979230441 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10550] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10550/stat : 10550 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 1979230441 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10551] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10551/stat : 10551 (java) S 10537 10539 9881 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1979230441 846540800 60629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 16.57
Current children cumulated vsize (KiB) 826700
[startup+15.9028 s]
/proc/loadavg: 1.94 1.98 1.94 3/84 10551
/proc/meminfo: memFree=1287816/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=826700 CPUtime=17.45
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 67962 0 1 0 1709 36 0 0 18 0 12 0 1979230433 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 206675 61809 1380 9 0 204037 0
[pid=10539/tid=10541] ppid=10537 vsize=826700 CPUtime=10.83
/proc/10539/task/10541/stat : 10541 (java) R 10537 10539 9881 0 -1 64 17335 0 1 0 1071 12 0 0 25 0 12 0 1979230434 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4109734586 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10542] ppid=10537 vsize=826700 CPUtime=2.18
/proc/10539/task/10542/stat : 10542 (java) S 10537 10539 9881 0 -1 64 19823 0 0 0 209 9 0 0 16 0 12 0 1979230435 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10543] ppid=10537 vsize=826700 CPUtime=2.26
/proc/10539/task/10543/stat : 10543 (java) S 10537 10539 9881 0 -1 64 21854 0 0 0 218 8 0 0 17 0 12 0 1979230435 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10544] ppid=10537 vsize=826700 CPUtime=0.02
/proc/10539/task/10544/stat : 10544 (java) S 10537 10539 9881 0 -1 64 30 0 0 0 0 2 0 0 16 0 12 0 1979230437 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10545] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10545/stat : 10545 (java) S 10537 10539 9881 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 1979230437 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10546] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10546/stat : 10546 (java) S 10537 10539 9881 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1979230437 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10547] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10547/stat : 10547 (java) S 10537 10539 9881 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1979230441 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10548] ppid=10537 vsize=826700 CPUtime=0.84
/proc/10539/task/10548/stat : 10548 (java) S 10537 10539 9881 0 -1 64 2764 0 0 0 83 1 0 0 16 0 12 0 1979230441 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10549] ppid=10537 vsize=826700 CPUtime=1.26
/proc/10539/task/10549/stat : 10549 (java) S 10537 10539 9881 0 -1 64 5395 0 0 0 124 2 0 0 17 0 12 0 1979230441 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10550] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10550/stat : 10550 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 1979230441 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10551] ppid=10537 vsize=826700 CPUtime=0
/proc/10539/task/10551/stat : 10551 (java) S 10537 10539 9881 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1979230441 846540800 61809 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.45
Current children cumulated vsize (KiB) 826700
[startup+16.3029 s]
/proc/loadavg: 1.94 1.98 1.94 3/84 10551
/proc/meminfo: memFree=1287816/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=827588 CPUtime=17.9
/proc/10539/stat : 10539 (java) S 10537 10539 9881 0 -1 0 69778 0 1 0 1753 37 0 0 18 0 12 0 1979230433 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 206897 63253 1380 9 0 204259 0
[pid=10539/tid=10541] ppid=10537 vsize=827588 CPUtime=10.97
/proc/10539/task/10541/stat : 10541 (java) R 10537 10539 9881 0 -1 64 17337 0 1 0 1085 12 0 0 25 0 12 0 1979230434 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10542] ppid=10537 vsize=827588 CPUtime=2.26
/proc/10539/task/10542/stat : 10542 (java) S 10537 10539 9881 0 -1 64 20635 0 0 0 217 9 0 0 16 0 12 0 1979230435 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10543] ppid=10537 vsize=827588 CPUtime=2.36
/proc/10539/task/10543/stat : 10543 (java) S 10537 10539 9881 0 -1 64 22368 0 0 0 227 9 0 0 16 0 12 0 1979230435 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10544] ppid=10537 vsize=827588 CPUtime=0.02
/proc/10539/task/10544/stat : 10544 (java) S 10537 10539 9881 0 -1 64 30 0 0 0 0 2 0 0 16 0 12 0 1979230437 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10545] ppid=10537 vsize=827588 CPUtime=0
/proc/10539/task/10545/stat : 10545 (java) S 10537 10539 9881 0 -1 64 8 0 0 0 0 0 0 0 16 0 12 0 1979230437 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10546] ppid=10537 vsize=827588 CPUtime=0
/proc/10539/task/10546/stat : 10546 (java) S 10537 10539 9881 0 -1 64 6 0 0 0 0 0 0 0 16 0 12 0 1979230437 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=10539/tid=10547] ppid=10537 vsize=827588 CPUtime=0
/proc/10539/task/10547/stat : 10547 (java) S 10537 10539 9881 0 -1 64 2 0 0 0 0 0 0 0 25 0 12 0 1979230441 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10548] ppid=10537 vsize=827588 CPUtime=0.98
/proc/10539/task/10548/stat : 10548 (java) R 10537 10539 9881 0 -1 64 3252 0 0 0 97 1 0 0 17 0 12 0 1979230441 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 104110006 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10549] ppid=10537 vsize=827588 CPUtime=1.26
/proc/10539/task/10549/stat : 10549 (java) S 10537 10539 9881 0 -1 64 5395 0 0 0 124 2 0 0 16 0 12 0 1979230441 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10550] ppid=10537 vsize=827588 CPUtime=0
/proc/10539/task/10550/stat : 10550 (java) S 10537 10539 9881 0 -1 64 0 0 0 0 0 0 0 0 25 0 12 0 1979230441 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=10539/tid=10551] ppid=10537 vsize=827588 CPUtime=0
/proc/10539/task/10551/stat : 10551 (java) S 10537 10539 9881 0 -1 64 1 0 0 0 0 0 0 0 15 0 12 0 1979230441 847450112 63253 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 17.9
Current children cumulated vsize (KiB) 827588
[startup+16.4029 s]
/proc/loadavg: 1.94 1.98 1.94 3/74 10552
/proc/meminfo: memFree=1373000/2055920 swapFree=4179456/4192956
[pid=10539] ppid=10537 vsize=0 CPUtime=18
/proc/10539/stat : 10539 (java) Z 10537 10539 9881 0 -1 12 69830 0 1 0 1761 39 0 0 16 0 2 0 1979230433 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/10539/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 18
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 16.4258
CPU time (s): 18.0253
CPU user time (s): 17.6113
CPU system time (s): 0.413937
CPU usage (%): 109.737
Max. virtual memory (cumulated for all children) (KiB): 827588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.6113
system time used= 0.413937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69830
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= 992
involuntary context switches= 1147
runsolver used 0.028995 second user time and 0.05999 second system time
The end
Begin job on node43 at 2008-07-02 14:43:00
IDJOB=1042108
IDBENCH=53873
IDSOLVER=344
FILE ID=node43/1042108-1215002580
PBS_JOBID= 7870836
Free space on /tmp= 66528 MiB
SOLVER NAME= SAT4J CSP 2008-06-13
BENCH NAME= CPAI08/csp/allsquares/normalized-squares-21-21.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1042108-1215002580/watcher-1042108-1215002580 -o /tmp/evaluation-result-1042108-1215002580/solver-1042108-1215002580 -C 1800 -W 2200 -M 900 --output-limit 1,15 java6 -server -Xms650m -Xmx650m -jar HOME/sat4jcsp.jar HOME/instance-1042108-1215002580.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 7c9360f7d63a1fda1cc47b47892f65e0
RANDOM SEED=980796687
node43.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.230
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.230
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: 1526344 kB
Buffers: 56032 kB
Cached: 375888 kB
SwapCached: 7360 kB
Active: 124568 kB
Inactive: 332844 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1526344 kB
SwapTotal: 4192956 kB
SwapFree: 4179456 kB
Dirty: 2836 kB
Writeback: 0 kB
Mapped: 32636 kB
Slab: 57364 kB
Committed_AS: 3601716 kB
PageTables: 1852 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= 66524 MiB
End job on node43 at 2008-07-02 14:43:16