0.09/0.14 c SAT4J: a SATisfiability library for Java (c) 2004-2008 Daniel Le Berre
0.09/0.14 c This is free software under the dual EPL/GNU LGPL licenses.
0.09/0.14 c See www.sat4j.org for details.
0.09/0.14 c That software uses the Rhino library from the Mozilla project.
0.09/0.16 c version 2.1.1.v20090622
0.09/0.16 c sun.arch.data.model 32
0.09/0.16 c java.version 1.6.0_12
0.09/0.16 c os.name Linux
0.09/0.16 c os.version 2.6.9-22.EL.rootsmp
0.09/0.16 c os.arch i386
0.09/0.16 c Free memory 671000808
0.09/0.16 c Max memory 672137216
0.09/0.16 c Total memory 672137216
0.09/0.16 c Number of processors 2
0.18/0.25 c c --- Begin Solver configuration ---
0.18/0.25 c Stops conflict analysis at the first Unique Implication Point
0.18/0.25 c org.sat4j.minisat.constraints.MixedDataStructureDanielWL@1f14ceb
0.18/0.25 c Learn all clauses as in MiniSAT
0.18/0.25 c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100
0.18/0.25 c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.18/0.25 c Expensive reason simplification
0.18/0.25 c MiniSAT restarts strategy
0.18/0.25 c Memory based learned constraints deletion strategy
0.18/0.25 c timeout=2147483s
0.18/0.25 c DB Simplification allowed=false
0.18/0.25 c --- End Solver configuration ---
0.18/0.25 c solving HOME/instance-2078456-1247366978.xml
0.18/0.25 c reading problem ...
0.48/0.51 c reading problem named null
0.48/0.51 c reading domains done.
0.48/0.52 c reading variables done.
0.48/0.53 c reading relations done.
2.36/2.45 c reading constraints
3.05/3.14 c done with constraints.
3.05/3.14 c ... done. Wall clock time 2.883s.
3.05/3.14 c #vars 400
3.05/3.14 c #constraints 303400
3.05/3.14 c constraints type
3.05/3.14 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 303380
3.05/3.14 c org.sat4j.minisat.constraints.card.AtLeast => 20
172.56/173.89 c starts : 18
172.56/173.89 c conflicts : 208400
172.56/173.89 c decisions : 356801
172.56/173.89 c propagations : 9868484
172.56/173.89 c inspects : 634888597
172.56/173.89 c learnt literals : 0
172.56/173.89 c learnt binary clauses : 0
172.56/173.89 c learnt ternary clauses : 459
172.56/173.89 c learnt clauses : 208400
172.56/173.89 c ignored clauses : 0
172.56/173.89 c root simplifications : 0
172.56/173.89 c removed literals (reason simplification) : 4264054
172.56/173.89 c reason swapping (by a shorter reason) : 0
172.56/173.89 c Calls to reduceDB : 0
172.56/173.89 c speed (assignments/second) : 57793.57438185929
172.56/173.89 c non guided choices 108
172.65/173.95 c learnt constraints type
172.65/173.95 c org.sat4j.minisat.constraints.cnf.LearntWLClause => 208400
172.65/173.95 c constraints type
172.65/173.95 c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 303380
172.65/173.95 c org.sat4j.minisat.constraints.card.AtLeast => 20
172.65/173.95 s SATISFIABLE
172.65/173.95 v 2 19 17 3 16 8 19 1 11 7 6 13 16 0 9 0 13 6 14 19
172.65/173.95 c Total wall clock time (in seconds) : 173.637
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2078456-1247366978/watcher-2078456-1247366978 -o /tmp/evaluation-result-2078456-1247366978/solver-2078456-1247366978 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2078456-1247366978.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.04 2.03 2.12 4/74 20457
/proc/meminfo: memFree=1448360/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=13208 CPUtime=0
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 721 0 0 0 0 0 0 0 18 0 2 0 23764455 13524992 521 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 3302 521 219 9 0 1186 0
[pid=20457/tid=20458] ppid=20455 vsize=13208 CPUtime=0
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 23764456 13524992 521 996147200 134512640 134550932 4294956016 18446744073709551615 8466392 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.0804369 s]
/proc/loadavg: 2.04 2.03 2.12 4/74 20457
/proc/meminfo: memFree=1448360/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=802164 CPUtime=0.07
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 2815 0 1 0 5 2 0 0 18 0 7 0 23764455 821415936 2560 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 200541 2560 1036 9 0 197892 0
[pid=20457/tid=20458] ppid=20455 vsize=802164 CPUtime=0.06
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 2076 0 1 0 5 1 0 0 17 0 7 0 23764456 821415936 2560 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 2147483391 0 16800971 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 802164
[startup+0.101534 s]
/proc/loadavg: 2.04 2.03 2.12 4/74 20457
/proc/meminfo: memFree=1448360/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=804560 CPUtime=0.09
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 3006 0 1 0 7 2 0 0 18 0 12 0 23764455 823869440 2749 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 201140 2749 1080 9 0 198474 0
[pid=20457/tid=20458] ppid=20455 vsize=804560 CPUtime=0.07
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 2252 0 1 0 6 1 0 0 21 0 12 0 23764456 823869440 2749 996147200 134512640 134550932 4294956016 18446744073709551615 4109160168 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 804560
[startup+0.301561 s]
/proc/loadavg: 2.04 2.03 2.12 4/74 20457
/proc/meminfo: memFree=1448360/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=805628 CPUtime=0.28
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 4274 0 1 0 25 3 0 0 18 0 12 0 23764455 824963072 4011 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 201407 4011 1358 9 0 198734 0
[pid=20457/tid=20458] ppid=20455 vsize=805628 CPUtime=0.21
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 3040 0 1 0 19 2 0 0 18 0 12 0 23764456 824963072 4011 996147200 134512640 134550932 4294956016 18446744073709551615 104174988 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 805628
[startup+0.701603 s]
/proc/loadavg: 2.04 2.03 2.12 4/74 20457
/proc/meminfo: memFree=1448360/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=807184 CPUtime=0.68
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 5584 0 1 0 63 5 0 0 18 0 12 0 23764455 826556416 5035 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 201796 5035 1390 9 0 199123 0
[pid=20457/tid=20458] ppid=20455 vsize=807184 CPUtime=0.36
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 3629 0 1 0 32 4 0 0 18 0 12 0 23764456 826556416 5035 996147200 134512640 134550932 4294956016 18446744073709551615 4109099152 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 807184
[startup+1.5027 s]
/proc/loadavg: 2.04 2.03 2.12 3/86 20469
/proc/meminfo: memFree=1430792/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=812848 CPUtime=1.47
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 10679 0 1 0 139 8 0 0 18 0 12 0 23764455 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203212 8730 1406 9 0 200539 0
[pid=20457/tid=20458] ppid=20455 vsize=812848 CPUtime=0.65
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 5987 0 1 0 59 6 0 0 21 0 12 0 23764456 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20460] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 2 0 0 0 0 0 0 0 18 0 12 0 23764458 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 19 0 12 0 23764458 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 2 0 0 0 0 0 0 0 16 0 12 0 23764459 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 10 0 0 0 0 0 0 0 20 0 12 0 23764460 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 4 0 0 0 0 0 0 0 21 0 12 0 23764460 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 23764465 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 23764465 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=812848 CPUtime=0.8
/proc/20457/task/20467/stat : 20467 (java) R 20455 20457 17272 0 -1 64 3939 0 0 0 79 1 0 0 16 0 12 0 23764465 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 103379713 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20468] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 23764465 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 23764465 832356352 8730 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 812848
[startup+3.10288 s]
/proc/loadavg: 2.04 2.03 2.12 3/86 20469
/proc/meminfo: memFree=1372040/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=812848 CPUtime=3.05
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 24121 0 1 0 289 16 0 0 18 0 12 0 23764455 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203212 22169 1422 9 0 200539 0
[pid=20457/tid=20458] ppid=20455 vsize=812848 CPUtime=1.68
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 16910 0 1 0 156 12 0 0 25 0 12 0 23764456 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4109292942 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20460] ppid=20455 vsize=812848 CPUtime=0.04
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 1459 0 0 0 4 0 0 0 16 0 12 0 23764458 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=812848 CPUtime=0.04
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 945 0 0 0 4 0 0 0 16 0 12 0 23764458 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 20 0 0 0 0 0 0 0 16 0 12 0 23764459 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 23764460 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 23764460 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 23764465 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 23764465 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=812848 CPUtime=1.24
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4034 0 0 0 123 1 0 0 16 0 12 0 23764465 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20468] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 23764465 832356352 22169 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=812848 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 23764465 832356352 22169 996147200 134512640 134550932 4294956016 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) 812848
[startup+6.30226 s]
/proc/loadavg: 2.12 2.04 2.12 3/87 20470
/proc/meminfo: memFree=1363712/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=813172 CPUtime=6.21
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 24209 0 1 0 605 16 0 0 18 0 13 0 23764455 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203293 22254 1445 9 0 200620 0
[pid=20457/tid=20458] ppid=20455 vsize=813172 CPUtime=4.23
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 16927 0 1 0 411 12 0 0 25 0 13 0 23764456 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4109743727 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20460] ppid=20455 vsize=813172 CPUtime=0.04
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 1459 0 0 0 4 0 0 0 16 0 13 0 23764458 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=813172 CPUtime=0.04
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 945 0 0 0 4 0 0 0 16 0 13 0 23764458 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 20 0 0 0 0 0 0 0 17 0 13 0 23764459 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23764465 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 23764465 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=813172 CPUtime=1.85
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4101 0 0 0 184 1 0 0 16 0 13 0 23764465 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20468] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 23764465 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 23764465 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20470] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20470/stat : 20470 (java) S 20455 20457 17272 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23764770 832688128 22254 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 813172
[startup+12.702 s]
/proc/loadavg: 2.11 2.04 2.12 3/87 20470
/proc/meminfo: memFree=1363136/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=813172 CPUtime=12.54
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 24215 0 1 0 1238 16 0 0 18 0 13 0 23764455 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203293 22258 1445 9 0 200620 0
[pid=20457/tid=20458] ppid=20455 vsize=813172 CPUtime=10.52
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 16929 0 1 0 1040 12 0 0 25 0 13 0 23764456 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4109809996 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20460] ppid=20455 vsize=813172 CPUtime=0.04
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 1459 0 0 0 4 0 0 0 16 0 13 0 23764458 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=813172 CPUtime=0.04
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 945 0 0 0 4 0 0 0 16 0 13 0 23764458 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 20 0 0 0 0 0 0 0 16 0 13 0 23764459 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23764465 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 23764465 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=813172 CPUtime=1.9
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4105 0 0 0 189 1 0 0 17 0 13 0 23764465 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20468] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 23764465 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 23764465 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20470] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20470/stat : 20470 (java) S 20455 20457 17272 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23764770 832688128 22258 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 813172
[startup+25.5025 s]
/proc/loadavg: 2.08 2.04 2.12 3/87 20470
/proc/meminfo: memFree=1362112/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=813172 CPUtime=25.21
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 24216 0 1 0 2505 16 0 0 18 0 13 0 23764455 832688128 22259 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203293 22259 1445 9 0 200620 0
[pid=20457/tid=20458] ppid=20455 vsize=813172 CPUtime=23.17
################
# More data... #
################
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4106 0 0 0 191 1 0 0 17 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20468] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20470] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20470/stat : 20470 (java) S 20455 20457 17272 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23764770 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 168.26
Current children cumulated vsize (KiB) 813172
[startup+171.102 s]
/proc/loadavg: 2.05 2.03 2.09 3/87 20597
/proc/meminfo: memFree=1703488/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=813172 CPUtime=169.85
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 33112 0 1 0 16962 23 0 0 18 0 13 0 23764455 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203293 31154 1445 9 0 200620 0
[pid=20457/tid=20458] ppid=20455 vsize=813172 CPUtime=167.47
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 16930 0 1 0 16732 15 0 0 25 0 13 0 23764456 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4109782978 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20457/tid=20460] ppid=20455 vsize=813172 CPUtime=0.21
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 6527 0 0 0 19 2 0 0 16 0 13 0 23764458 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=813172 CPUtime=0.2
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 4771 0 0 0 18 2 0 0 18 0 13 0 23764458 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 23764459 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=813172 CPUtime=1.92
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4106 0 0 0 191 1 0 0 17 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20468] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20470] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20470/stat : 20470 (java) S 20455 20457 17272 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23764770 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 169.85
Current children cumulated vsize (KiB) 813172
[startup+172.707 s]
/proc/loadavg: 2.05 2.03 2.09 3/87 20597
/proc/meminfo: memFree=1703168/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=813172 CPUtime=171.46
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 33112 0 1 0 17123 23 0 0 18 0 13 0 23764455 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203293 31154 1445 9 0 200620 0
[pid=20457/tid=20458] ppid=20455 vsize=813172 CPUtime=169.08
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 16930 0 1 0 16893 15 0 0 25 0 13 0 23764456 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4109761471 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20457/tid=20460] ppid=20455 vsize=813172 CPUtime=0.21
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 6527 0 0 0 19 2 0 0 16 0 13 0 23764458 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=813172 CPUtime=0.2
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 4771 0 0 0 18 2 0 0 18 0 13 0 23764458 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 23764459 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=813172 CPUtime=1.92
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4106 0 0 0 191 1 0 0 17 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20468] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20470] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20470/stat : 20470 (java) S 20455 20457 17272 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23764770 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 171.46
Current children cumulated vsize (KiB) 813172
[startup+173.503 s]
/proc/loadavg: 2.05 2.03 2.09 3/87 20597
/proc/meminfo: memFree=1703168/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=813172 CPUtime=172.25
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 33112 0 1 0 17202 23 0 0 18 0 13 0 23764455 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203293 31154 1445 9 0 200620 0
[pid=20457/tid=20458] ppid=20455 vsize=813172 CPUtime=169.87
/proc/20457/task/20458/stat : 20458 (java) R 20455 20457 17272 0 -1 64 16930 0 1 0 16972 15 0 0 25 0 13 0 23764456 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4109761471 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20457/tid=20460] ppid=20455 vsize=813172 CPUtime=0.21
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 6527 0 0 0 19 2 0 0 16 0 13 0 23764458 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=813172 CPUtime=0.2
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 4771 0 0 0 18 2 0 0 18 0 13 0 23764458 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 23764459 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=813172 CPUtime=1.92
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4106 0 0 0 191 1 0 0 17 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20468] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 23764465 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20470] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20470/stat : 20470 (java) S 20455 20457 17272 0 -1 64 4 0 0 0 0 0 0 0 23 0 13 0 23764770 832688128 31154 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.25
Current children cumulated vsize (KiB) 813172
[startup+173.903 s]
/proc/loadavg: 2.05 2.03 2.09 3/87 20597
/proc/meminfo: memFree=1703104/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=813172 CPUtime=172.65
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 33117 0 1 0 17242 23 0 0 18 0 13 0 23764455 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203293 31159 1446 9 0 200620 0
[pid=20457/tid=20458] ppid=20455 vsize=813172 CPUtime=170.26
/proc/20457/task/20458/stat : 20458 (java) S 20455 20457 17272 0 -1 64 16932 0 1 0 17011 15 0 0 25 0 13 0 23764456 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20457/tid=20460] ppid=20455 vsize=813172 CPUtime=0.21
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 6527 0 0 0 19 2 0 0 16 0 13 0 23764458 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=813172 CPUtime=0.2
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 4771 0 0 0 18 2 0 0 18 0 13 0 23764458 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 21 0 0 0 0 0 0 0 16 0 13 0 23764459 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 11 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 7 0 0 0 0 0 0 0 16 0 13 0 23764460 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 13 0 23764465 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 13 0 23764465 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=813172 CPUtime=1.93
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4106 0 0 0 192 1 0 0 16 0 13 0 23764465 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20457/tid=20468] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 13 0 23764465 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 13 0 23764465 832688128 31159 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 813172
[startup+174.003 s]
/proc/loadavg: 2.05 2.03 2.09 3/87 20597
/proc/meminfo: memFree=1703104/2055920 swapFree=4192812/4192956
[pid=20457] ppid=20455 vsize=813172 CPUtime=172.7
/proc/20457/stat : 20457 (java) S 20455 20457 17272 0 -1 0 33122 0 1 0 17247 23 0 0 18 0 12 0 23764455 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/20457/statm: 203293 31164 1446 9 0 200620 0
[pid=20457/tid=20458] ppid=20455 vsize=813172 CPUtime=170.26
/proc/20457/task/20458/stat : 20458 (java) S 20455 20457 17272 0 -1 64 16934 0 1 0 17011 15 0 0 24 0 12 0 23764456 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20457/tid=20460] ppid=20455 vsize=813172 CPUtime=0.21
/proc/20457/task/20460/stat : 20460 (java) S 20455 20457 17272 0 -1 64 6527 0 0 0 19 2 0 0 16 0 12 0 23764458 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20461] ppid=20455 vsize=813172 CPUtime=0.2
/proc/20457/task/20461/stat : 20461 (java) S 20455 20457 17272 0 -1 64 4771 0 0 0 18 2 0 0 18 0 12 0 23764458 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20462] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20462/stat : 20462 (java) S 20455 20457 17272 0 -1 64 21 0 0 0 0 0 0 0 16 0 12 0 23764459 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20463] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20463/stat : 20463 (java) S 20455 20457 17272 0 -1 64 11 0 0 0 0 0 0 0 16 0 12 0 23764460 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20464] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20464/stat : 20464 (java) S 20455 20457 17272 0 -1 64 7 0 0 0 0 0 0 0 16 0 12 0 23764460 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20465] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20465/stat : 20465 (java) S 20455 20457 17272 0 -1 64 1 0 0 0 0 0 0 0 18 0 12 0 23764465 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20466] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20466/stat : 20466 (java) S 20455 20457 17272 0 -1 64 13 0 0 0 0 0 0 0 19 0 12 0 23764465 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20467] ppid=20455 vsize=813172 CPUtime=1.96
/proc/20457/task/20467/stat : 20467 (java) S 20455 20457 17272 0 -1 64 4109 0 0 0 195 1 0 0 17 0 12 0 23764465 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=20457/tid=20468] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20468/stat : 20468 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 20 0 12 0 23764465 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=20457/tid=20469] ppid=20455 vsize=813172 CPUtime=0
/proc/20457/task/20469/stat : 20469 (java) S 20455 20457 17272 0 -1 64 0 0 0 0 0 0 0 0 15 0 12 0 23764465 832688128 31164 996147200 134512640 134550932 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 172.7
Current children cumulated vsize (KiB) 813172
Child status: 0
Real time (s): 174.026
CPU time (s): 172.741
CPU user time (s): 172.48
CPU system time (s): 0.26096
CPU usage (%): 99.2617
Max. virtual memory (cumulated for all children) (KiB): 813172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 172.48
system time used= 0.26096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33125
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= 4328
involuntary context switches= 5913
runsolver used 0.250961 second user time and 0.6519 second system time
The end
Begin job on node20 at 2009-07-12 04:49:39
IDJOB=2078456
IDBENCH=56756
IDSOLVER=731
FILE ID=node20/2078456-1247366978
PBS_JOBID= 9507083
Free space on /tmp= 66204 MiB
SOLVER NAME= SAT4J CSP 2.1.1
BENCH NAME= CPAI08/csp/rand-3-20-20-fcd/normalized-rand-3-20-20-60-632-fcd-40_ext.xml
COMMAND LINE= java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2078456-1247366978/watcher-2078456-1247366978 -o /tmp/evaluation-result-2078456-1247366978/solver-2078456-1247366978 -C 1800 -W 2000 -M 900 java6 -server -Xms650m -Xmx650m -jar HOME/sat4j-csp.jar HOME/instance-2078456-1247366978.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 72800f33560a9e3da2b338883daf5b30
RANDOM SEED=625741300
node20.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.236
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.236
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: 1448840 kB
Buffers: 15704 kB
Cached: 232088 kB
SwapCached: 0 kB
Active: 372320 kB
Inactive: 180268 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1448840 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2504 kB
Writeback: 0 kB
Mapped: 316112 kB
Slab: 39264 kB
Committed_AS: 451084 kB
PageTables: 2408 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= 66296 MiB
End job on node20 at 2009-07-12 04:52:33