runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4254199-1501615294/watcher-4254199-1501615294 -o /tmp/evaluation-result-4254199-1501615294/solver-4254199-1501615294 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1690131664 HOME/instance-4254199-1501615294.xml
pid=9394
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.19 2.09 1.98 2/199 9397
/proc/meminfo: memFree=31659572/32770624 swapFree=0/280160
[pid=9397] ppid=9394 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (runsolver) D 9394 9397 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9035140 24240128 108 18446744073709551615 4194304 4338465 140731601440848 140731601438488 140150057988823 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 35344384 140731601444957 140731601445446 140731601445446 140731601448906 0
/proc/9397/statm: 5918 108 54 36 0 2156 0
[startup+0.10006 s]
/proc/loadavg: 2.19 2.09 1.98 2/199 9397
/proc/meminfo: memFree=31659572/32770624 swapFree=0/280160
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200362 s]
/proc/loadavg: 2.19 2.09 1.98 2/199 9397
/proc/meminfo: memFree=31659572/32770624 swapFree=0/280160
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.301426 s]
/proc/loadavg: 2.19 2.09 1.98 2/199 9397
/proc/meminfo: memFree=31659572/32770624 swapFree=0/280160
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701144 s]
/proc/loadavg: 2.19 2.09 1.98 2/199 9397
/proc/meminfo: memFree=31659572/32770624 swapFree=0/280160
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 2.19 2.09 1.98 5/215 9413
/proc/meminfo: memFree=31581948/32770624 swapFree=0/280168
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
[pid=9399] ppid=9397 vsize=13980732 CPUtime=3.77 cores=0,2,4,6
/proc/9399/stat : 9399 (java) S 9397 9397 5234 0 -1 1077944320 26826 0 0 0 371 6 0 0 20 0 15 0 9035149 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140725665768208 140461284740855 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
/proc/9399/statm: 3495183 23527 3173 1 0 3483484 0
[pid=9399/tid=9400] ppid=9397 vsize=13980732 CPUtime=1.34 cores=0,2,4,6
/proc/9399/task/9400/stat : 9400 (java) R 9397 9397 5234 0 -1 4202560 9272 0 0 0 131 3 0 0 20 0 15 0 9035149 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140461288980296 140460886279692 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9401] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9401/stat : 9401 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140461204154640 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9402] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9402/stat : 9402 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140461203102096 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9403] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9403/stat : 9403 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460882389520 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9404] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9404/stat : 9404 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460881336976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9405] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9405/stat : 9405 (java) S 9397 9397 5234 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 9035151 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460763343344 140461284752002 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9406] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9406/stat : 9406 (java) S 9397 9397 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460762289568 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9407] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9407/stat : 9407 (java) S 9397 9397 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460761236976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9408] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9408/stat : 9408 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035154 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460760185552 140461284759451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9409] ppid=9397 vsize=13980732 CPUtime=0.99 cores=0,2,4,6
/proc/9399/task/9409/stat : 9409 (java) R 9397 9397 5234 0 -1 4202560 7272 0 0 0 99 0 0 0 20 0 15 0 9035154 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460759118608 140461268226789 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9410] ppid=9397 vsize=13980732 CPUtime=1.01 cores=0,2,4,6
/proc/9399/task/9410/stat : 9410 (java) R 9397 9397 5234 0 -1 4202560 5820 0 0 0 100 1 0 0 20 0 15 0 9035154 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460758066168 140461266262246 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9411] ppid=9397 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/9399/task/9411/stat : 9411 (java) S 9397 9397 5234 0 -1 1077944384 3150 0 0 0 40 1 0 0 20 0 15 0 9035154 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460757027056 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9412] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9412/stat : 9412 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035155 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460755974752 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9413] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9413/stat : 9413 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035160 14316269568 23527 18446744073709551615 4194304 4196468 140725665785664 140460754922288 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
Current children cumulated CPU time (s) 3.77
Current children cumulated vsize (KiB) 13990244
[startup+3.10074 s]
/proc/loadavg: 2.17 2.09 1.98 5/215 9413
/proc/meminfo: memFree=31578140/32770624 swapFree=0/280168
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
[pid=9399] ppid=9397 vsize=13980732 CPUtime=6.89 cores=0,2,4,6
/proc/9399/stat : 9399 (java) S 9397 9397 5234 0 -1 1077944320 28289 0 0 0 683 6 0 0 20 0 15 0 9035149 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140725665768208 140461284740855 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
/proc/9399/statm: 3495183 24338 3191 1 0 3483484 0
[pid=9399/tid=9400] ppid=9397 vsize=13980732 CPUtime=2.94 cores=0,2,4,6
/proc/9399/task/9400/stat : 9400 (java) R 9397 9397 5234 0 -1 4202560 9663 0 0 0 291 3 0 0 20 0 15 0 9035149 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140461288974720 140460886279883 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9401] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9401/stat : 9401 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140461204154640 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9402] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9402/stat : 9402 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140461203102096 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9403] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9403/stat : 9403 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460882389520 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9404] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9404/stat : 9404 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460881336976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9405] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9405/stat : 9405 (java) S 9397 9397 5234 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9035151 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460763343344 140461284752002 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9406] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9406/stat : 9406 (java) S 9397 9397 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460762289568 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9407] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9407/stat : 9407 (java) S 9397 9397 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460761236976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9408] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9408/stat : 9408 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035154 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460760185552 140461284759451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9409] ppid=9397 vsize=13980732 CPUtime=1.71 cores=0,2,4,6
/proc/9399/task/9409/stat : 9409 (java) S 9397 9397 5234 0 -1 1077944384 7548 0 0 0 171 0 0 0 20 0 15 0 9035154 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460759132144 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9410] ppid=9397 vsize=13980732 CPUtime=1.75 cores=0,2,4,6
/proc/9399/task/9410/stat : 9410 (java) S 9397 9397 5234 0 -1 1077944384 6366 0 0 0 174 1 0 0 20 0 15 0 9035154 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460758079600 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9411] ppid=9397 vsize=13980732 CPUtime=0.47 cores=0,2,4,6
/proc/9399/task/9411/stat : 9411 (java) S 9397 9397 5234 0 -1 1077944384 3353 0 0 0 46 1 0 0 20 0 15 0 9035154 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460757027056 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9412] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9412/stat : 9412 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035155 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460755974752 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9413] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9413/stat : 9413 (java) S 9397 9397 5234 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9035160 14316269568 24338 18446744073709551615 4194304 4196468 140725665785664 140460754922288 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
Current children cumulated CPU time (s) 6.89
Current children cumulated vsize (KiB) 13990244
[startup+6.30071 s]
/proc/loadavg: 2.17 2.09 1.98 3/216 9414
/proc/meminfo: memFree=31565552/32770624 swapFree=0/280180
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
[pid=9399] ppid=9397 vsize=13980732 CPUtime=10.96 cores=0,2,4,6
/proc/9399/stat : 9399 (java) S 9397 9397 5234 0 -1 1077944320 36064 0 0 0 1089 7 0 0 20 0 15 0 9035149 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140725665768208 140461284740855 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
/proc/9399/statm: 3495183 27118 3196 1 0 3483484 0
[pid=9399/tid=9400] ppid=9397 vsize=13980732 CPUtime=6.14 cores=0,2,4,6
/proc/9399/task/9400/stat : 9400 (java) R 9397 9397 5234 0 -1 4202560 10976 0 0 0 611 3 0 0 20 0 15 0 9035149 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140461288977056 140460886549552 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9401] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9401/stat : 9401 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140461204154640 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9402] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9402/stat : 9402 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140461203102096 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9403] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9403/stat : 9403 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460882389520 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9404] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9404/stat : 9404 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460881336976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9405] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9405/stat : 9405 (java) S 9397 9397 5234 0 -1 1077944384 243 0 0 0 0 0 0 0 20 0 15 0 9035151 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460763343344 140461284752002 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9406] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9406/stat : 9406 (java) S 9397 9397 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460762289568 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9407] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9407/stat : 9407 (java) S 9397 9397 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460761236976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9408] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9408/stat : 9408 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035154 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460760185552 140461284759451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9409] ppid=9397 vsize=13980732 CPUtime=2.15 cores=0,2,4,6
/proc/9399/task/9409/stat : 9409 (java) S 9397 9397 5234 0 -1 1077944384 10445 0 0 0 214 1 0 0 20 0 15 0 9035154 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460759132144 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9410] ppid=9397 vsize=13980732 CPUtime=2.14 cores=0,2,4,6
/proc/9399/task/9410/stat : 9410 (java) S 9397 9397 5234 0 -1 1077944384 8486 0 0 0 213 1 0 0 20 0 15 0 9035154 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460758079600 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9411] ppid=9397 vsize=13980732 CPUtime=0.51 cores=0,2,4,6
/proc/9399/task/9411/stat : 9411 (java) S 9397 9397 5234 0 -1 1077944384 4170 0 0 0 50 1 0 0 20 0 15 0 9035154 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460757027056 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9412] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9412/stat : 9412 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035155 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460755974752 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9413] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9413/stat : 9413 (java) S 9397 9397 5234 0 -1 1077944384 440 0 0 0 0 0 0 0 20 0 15 0 9035160 14316269568 27118 18446744073709551615 4194304 4196468 140725665785664 140460754922288 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
Current children cumulated CPU time (s) 10.96
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.15 2.08 1.98 3/216 9414
/proc/meminfo: memFree=31541892/32770624 swapFree=0/280188
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
[pid=9399] ppid=9397 vsize=13980732 CPUtime=17.5 cores=0,2,4,6
/proc/9399/stat : 9399 (java) S 9397 9397 5234 0 -1 1077944320 39605 0 0 0 1742 8 0 0 20 0 15 0 9035149 14316269568 32789 18446744073709551615 4194304 4196468 140725665785664 140725665768208 140461284740855 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
/proc/9399/statm: 3495183 32789 3196 1 0 3483484 0
[pid=9399/tid=9400] ppid=9397 vsize=13980732 CPUtime=12.53 cores=0,2,4,6
/proc/9399/task/9400/stat : 9400 (java) R 9397 9397 5234 0 -1 4202560 11532 0 0 0 1250 3 0 0 20 0 15 0 9035149 14316269568 32789 18446744073709551615 4194304 4196468 140725665785664 140461288977312 140460883532676 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9401] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9401/stat : 9401 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 32789 18446744073709551615 4194304 4196468 140725665785664 140461204154640 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9402] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9402/stat : 9402 (java) S 9397 9397 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 32789 18446744073709551615 4194304 4196468 140725665785664 140461203102096 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
################
# More data... #
################
/proc/9399/task/9411/stat : 9411 (java) S 9397 9397 5234 0 -1 1077944384 6886 0 0 0 53 1 0 0 20 0 15 0 9035154 14316269568 53912 18446744073709551615 4194304 4196468 140725665785664 140460757027056 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9412] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9412/stat : 9412 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035155 14316269568 53912 18446744073709551615 4194304 4196468 140725665785664 140460755974752 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9413] ppid=9397 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9399/task/9413/stat : 9413 (java) S 9397 9397 5234 0 -1 1077944384 749 0 0 0 0 1 0 0 20 0 15 0 9035160 14316269568 53912 18446744073709551615 4194304 4196468 140725665785664 140460754922288 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
Current children cumulated CPU time (s) 65.96
Current children cumulated vsize (KiB) 13990244
[startup+64.0007 s]
/proc/loadavg: 2.06 2.07 1.98 3/216 9416
/proc/meminfo: memFree=31454300/32770624 swapFree=0/280244
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
[pid=9399] ppid=9397 vsize=13980732 CPUtime=69.16 cores=0,2,4,6
/proc/9399/stat : 9399 (java) S 9397 9397 5234 0 -1 1077944320 51378 0 0 0 6904 12 0 0 20 0 15 0 9035149 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140725665768208 140461284740855 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
/proc/9399/statm: 3495183 53915 3221 1 0 3483484 0
[pid=9399/tid=9400] ppid=9397 vsize=13980732 CPUtime=63.82 cores=0,2,4,6
/proc/9399/task/9400/stat : 9400 (java) R 9397 9397 5234 0 -1 4202560 13281 0 0 0 6378 4 0 0 20 0 15 0 9035149 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140461288980272 140460885802248 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9401] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9401/stat : 9401 (java) S 9397 9397 5234 0 -1 1077944384 674 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140461204154640 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9402] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9402/stat : 9402 (java) S 9397 9397 5234 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140461203102096 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9403] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9403/stat : 9403 (java) S 9397 9397 5234 0 -1 1077944384 770 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460882389520 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9404] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9404/stat : 9404 (java) S 9397 9397 5234 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460881336976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9405] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9405/stat : 9405 (java) S 9397 9397 5234 0 -1 1077944384 723 0 0 0 0 0 0 0 20 0 15 0 9035151 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460763343344 140461284752002 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9406] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9406/stat : 9406 (java) S 9397 9397 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460762289568 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9407] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9407/stat : 9407 (java) S 9397 9397 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460761236976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9408] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9408/stat : 9408 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035154 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460760185552 140461284759451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9409] ppid=9397 vsize=13980732 CPUtime=2.31 cores=0,2,4,6
/proc/9399/task/9409/stat : 9409 (java) S 9397 9397 5234 0 -1 1077944384 13827 0 0 0 230 1 0 0 20 0 15 0 9035154 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460759132144 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9410] ppid=9397 vsize=13980732 CPUtime=2.39 cores=0,2,4,6
/proc/9399/task/9410/stat : 9410 (java) S 9397 9397 5234 0 -1 1077944384 12252 0 0 0 237 2 0 0 20 0 15 0 9035154 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460758079600 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9411] ppid=9397 vsize=13980732 CPUtime=0.54 cores=0,2,4,6
/proc/9399/task/9411/stat : 9411 (java) S 9397 9397 5234 0 -1 1077944384 7035 0 0 0 53 1 0 0 20 0 15 0 9035154 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460757027056 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9412] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9412/stat : 9412 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035155 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460755974752 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9413] ppid=9397 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9399/task/9413/stat : 9413 (java) S 9397 9397 5234 0 -1 1077944384 749 0 0 0 0 1 0 0 20 0 15 0 9035160 14316269568 53915 18446744073709551615 4194304 4196468 140725665785664 140460754922288 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
Current children cumulated CPU time (s) 69.16
Current children cumulated vsize (KiB) 13990244
[startup+64.8008 s]
/proc/loadavg: 2.06 2.07 1.98 3/216 9416
/proc/meminfo: memFree=31454300/32770624 swapFree=0/280244
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
[pid=9399] ppid=9397 vsize=13980732 CPUtime=69.96 cores=0,2,4,6
/proc/9399/stat : 9399 (java) S 9397 9397 5234 0 -1 1077944320 51480 0 0 0 6984 12 0 0 20 0 15 0 9035149 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140725665768208 140461284740855 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
/proc/9399/statm: 3495183 53919 3221 1 0 3483484 0
[pid=9399/tid=9400] ppid=9397 vsize=13980732 CPUtime=64.63 cores=0,2,4,6
/proc/9399/task/9400/stat : 9400 (java) R 9397 9397 5234 0 -1 4202560 13289 0 0 0 6458 5 0 0 20 0 15 0 9035149 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461288978008 140461269951261 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9401] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9401/stat : 9401 (java) S 9397 9397 5234 0 -1 1077944384 674 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461204154640 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9402] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9402/stat : 9402 (java) S 9397 9397 5234 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461203102096 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9403] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9403/stat : 9403 (java) S 9397 9397 5234 0 -1 1077944384 770 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460882389520 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9404] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9404/stat : 9404 (java) S 9397 9397 5234 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460881336976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9405] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9405/stat : 9405 (java) S 9397 9397 5234 0 -1 1077944384 723 0 0 0 0 0 0 0 20 0 15 0 9035151 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460763343344 140461284752002 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9406] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9406/stat : 9406 (java) S 9397 9397 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460762289568 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9407] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9407/stat : 9407 (java) S 9397 9397 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460761236976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9408] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9408/stat : 9408 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460760185552 140461284759451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9409] ppid=9397 vsize=13980732 CPUtime=2.31 cores=0,2,4,6
/proc/9399/task/9409/stat : 9409 (java) S 9397 9397 5234 0 -1 1077944384 13858 0 0 0 230 1 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460759132144 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9410] ppid=9397 vsize=13980732 CPUtime=2.39 cores=0,2,4,6
/proc/9399/task/9410/stat : 9410 (java) S 9397 9397 5234 0 -1 1077944384 12252 0 0 0 237 2 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460758079600 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9411] ppid=9397 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/9399/task/9411/stat : 9411 (java) S 9397 9397 5234 0 -1 1077944384 7098 0 0 0 54 1 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460757027056 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9412] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9412/stat : 9412 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035155 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460755974752 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9413] ppid=9397 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9399/task/9413/stat : 9413 (java) S 9397 9397 5234 0 -1 1077944384 749 0 0 0 0 1 0 0 20 0 15 0 9035160 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460754922288 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (KiB) 13990244
[startup+65.6007 s]
/proc/loadavg: 2.06 2.07 1.98 3/216 9416
/proc/meminfo: memFree=31454300/32770624 swapFree=0/280244
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
[pid=9399] ppid=9397 vsize=13980732 CPUtime=70.76 cores=0,2,4,6
/proc/9399/stat : 9399 (java) S 9397 9397 5234 0 -1 1077944320 51482 0 0 0 7064 12 0 0 20 0 15 0 9035149 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140725665768208 140461284740855 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
/proc/9399/statm: 3495183 53919 3221 1 0 3483484 0
[pid=9399/tid=9400] ppid=9397 vsize=13980732 CPUtime=65.43 cores=0,2,4,6
/proc/9399/task/9400/stat : 9400 (java) R 9397 9397 5234 0 -1 4202560 13290 0 0 0 6538 5 0 0 20 0 15 0 9035149 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461288978008 140460888444557 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9401] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9401/stat : 9401 (java) S 9397 9397 5234 0 -1 1077944384 674 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461204154640 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9402] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9402/stat : 9402 (java) S 9397 9397 5234 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461203102096 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9403] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9403/stat : 9403 (java) S 9397 9397 5234 0 -1 1077944384 770 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460882389520 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9404] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9404/stat : 9404 (java) S 9397 9397 5234 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460881336976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9405] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9405/stat : 9405 (java) S 9397 9397 5234 0 -1 1077944384 723 0 0 0 0 0 0 0 20 0 15 0 9035151 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460763343344 140461284752002 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9406] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9406/stat : 9406 (java) S 9397 9397 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460762289568 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9407] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9407/stat : 9407 (java) S 9397 9397 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460761236976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9408] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9408/stat : 9408 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460760185552 140461284759451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9409] ppid=9397 vsize=13980732 CPUtime=2.31 cores=0,2,4,6
/proc/9399/task/9409/stat : 9409 (java) S 9397 9397 5234 0 -1 1077944384 13858 0 0 0 230 1 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460759132144 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9410] ppid=9397 vsize=13980732 CPUtime=2.39 cores=0,2,4,6
/proc/9399/task/9410/stat : 9410 (java) S 9397 9397 5234 0 -1 1077944384 12252 0 0 0 237 2 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460758079600 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9411] ppid=9397 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/9399/task/9411/stat : 9411 (java) S 9397 9397 5234 0 -1 1077944384 7098 0 0 0 54 1 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460757027056 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9412] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9412/stat : 9412 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035155 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460755974752 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9413] ppid=9397 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9399/task/9413/stat : 9413 (java) S 9397 9397 5234 0 -1 1077944384 750 0 0 0 0 1 0 0 20 0 15 0 9035160 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460754922288 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
Current children cumulated CPU time (s) 70.76
Current children cumulated vsize (KiB) 13990244
[startup+66.0007 s]
/proc/loadavg: 2.06 2.07 1.98 3/216 9416
/proc/meminfo: memFree=31454320/32770624 swapFree=0/280244
[pid=9397] ppid=9394 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/9397/stat : 9397 (xcsp3-exec) S 9394 9397 5234 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 9035140 9740288 344 18446744073709551615 4194304 5098028 140734337989408 140734337987512 139650674934396 0 65536 5 65538 18446744071579417331 0 0 17 4 0 0 8 0 0 7196144 7232144 36884480 140734337991067 140734337991271 140734337991271 140734337994731 0
/proc/9397/statm: 2378 344 289 221 0 87 0
[pid=9399] ppid=9397 vsize=13980732 CPUtime=71.16 cores=0,2,4,6
/proc/9399/stat : 9399 (java) S 9397 9397 5234 0 -1 1077944320 51482 0 0 0 7104 12 0 0 20 0 15 0 9035149 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140725665768208 140461284740855 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
/proc/9399/statm: 3495183 53919 3221 1 0 3483484 0
[pid=9399/tid=9400] ppid=9397 vsize=13980732 CPUtime=65.83 cores=0,2,4,6
/proc/9399/task/9400/stat : 9400 (java) R 9397 9397 5234 0 -1 4202560 13290 0 0 0 6578 5 0 0 20 0 15 0 9035149 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461288978008 140460886280291 0 4 1 16800974 0 0 0 -1 2 0 0 5 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9401] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9401/stat : 9401 (java) S 9397 9397 5234 0 -1 1077944384 674 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461204154640 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9402] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9402/stat : 9402 (java) S 9397 9397 5234 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140461203102096 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9403] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9403/stat : 9403 (java) S 9397 9397 5234 0 -1 1077944384 770 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460882389520 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9404] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9404/stat : 9404 (java) S 9397 9397 5234 0 -1 1077944384 350 0 0 0 0 0 0 0 20 0 15 0 9035150 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460881336976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9405] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9405/stat : 9405 (java) S 9397 9397 5234 0 -1 1077944384 723 0 0 0 0 0 0 0 20 0 15 0 9035151 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460763343344 140461284752002 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9406] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9406/stat : 9406 (java) S 9397 9397 5234 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460762289568 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9407] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9407/stat : 9407 (java) S 9397 9397 5234 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 9035152 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460761236976 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9408] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9408/stat : 9408 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460760185552 140461284759451 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9409] ppid=9397 vsize=13980732 CPUtime=2.31 cores=0,2,4,6
/proc/9399/task/9409/stat : 9409 (java) S 9397 9397 5234 0 -1 1077944384 13858 0 0 0 230 1 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460759132144 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9410] ppid=9397 vsize=13980732 CPUtime=2.39 cores=0,2,4,6
/proc/9399/task/9410/stat : 9410 (java) S 9397 9397 5234 0 -1 1077944384 12252 0 0 0 237 2 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460758079600 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9411] ppid=9397 vsize=13980732 CPUtime=0.55 cores=0,2,4,6
/proc/9399/task/9411/stat : 9411 (java) S 9397 9397 5234 0 -1 1077944384 7098 0 0 0 54 1 0 0 20 0 15 0 9035154 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460757027056 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9412] ppid=9397 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/9399/task/9412/stat : 9412 (java) S 9397 9397 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9035155 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460755974752 140461284751061 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
[pid=9399/tid=9413] ppid=9397 vsize=13980732 CPUtime=0.01 cores=0,2,4,6
/proc/9399/task/9413/stat : 9413 (java) S 9397 9397 5234 0 -1 1077944384 750 0 0 0 0 1 0 0 20 0 15 0 9035160 14316269568 53919 18446744073709551615 4194304 4196468 140725665785664 140460754922288 140461284752002 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22241280 140725665788372 140725665788547 140725665788547 140725665791951 0
Current children cumulated CPU time (s) 71.16
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 66.0783
CPU time (s): 71.25
CPU user time (s): 71.1179
CPU system time (s): 0.132053
CPU usage (%): 107.827
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.1179
system time used= 0.132053
maximum resident set size= 216016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52599
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3836
involuntary context switches= 64
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.390481 second user time and 0.298709 second system time
The end