runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (9886 MiB free)
memory of node 1: 16384 MiB (9378 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4394244-1568332168/watcher-4394244-1568332168 -o /tmp/evaluation-result-4394244-1568332168/solver-4394244-1568332168 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568329129-18217 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 612182 HOME/instance-4394244-1568332168.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31793, runsolver pid=31790
Current StackSize limit: 8192 KiB
[startup+0.100124 s]*
/proc/loadavg: 8.96 8.34 7.91 7/233 31809
/proc/meminfo: memFree=19711572/32770624 swapFree=66959216/67108860
[pid=31793] ppid=31790 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31793/stat : 31793 (xcsp3-exec) S 31790 31793 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409156975 115843072 363 33554432000 4194304 5098028 140724411750624 140724411748728 139782147957372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140724411757438 140724411757677 140724411757677 140724411760586 0
/proc/31793/statm: 28282 363 304 221 0 87 0
[pid=31795] ppid=31793 vsize=15144768 memory=28956 CPUtime=0.13 cores=0,2,4,6
/proc/31795/stat : 31795 (java) S 31793 31793 18186 0 -1 1077944320 5728 0 0 0 12 1 0 0 20 0 15 0 409156976 15508242432 7239 33554432000 4194304 4196468 140731568248992 140731568231536 140151568862967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
/proc/31795/statm: 3786192 7239 3119 1 0 3748377 0
[pid=31795/tid=31796] ppid=31793 vsize=15144768 memory=-6962121287837372198 CPUtime=0.09 cores=0,2,4,6
/proc/31795/task/31796/stat : 31796 (java) R 31793 31793 18186 0 -1 4202560 3619 0 0 0 8 1 0 0 20 0 15 0 409156976 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151573088928 140151561100094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31797] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31797/stat : 31797 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151496903440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31798] ppid=31793 vsize=15144768 memory=140582973998720 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31798/stat : 31798 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151495850896 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31799] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31799/stat : 31799 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151158598672 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31800] ppid=31793 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31800/stat : 31800 (java) S 31793 31793 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409156977 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151157546128 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31801] ppid=31793 vsize=15144768 memory=140582973998720 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31801/stat : 31801 (java) S 31793 31793 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409156978 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151104641008 140151568874114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31802] ppid=31793 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31802/stat : 31802 (java) S 31793 31793 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409156978 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151103587232 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31803] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31803/stat : 31803 (java) S 31793 31793 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409156979 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151102534640 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31804] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31804/stat : 31804 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409156981 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151101483216 140151568881563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31805] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31805/stat : 31805 (java) R 31793 31793 18186 0 -1 4202560 321 0 0 0 0 0 0 0 20 0 15 0 409156981 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151100430832 140151552348914 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31806] ppid=31793 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31806/stat : 31806 (java) R 31793 31793 18186 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 409156981 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151099378288 140151568874114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31807] ppid=31793 vsize=15144768 memory=140582973998720 CPUtime=0.02 cores=0,2,4,6
/proc/31795/task/31807/stat : 31807 (java) R 31793 31793 18186 0 -1 4202560 373 0 0 0 2 0 0 0 20 0 15 0 409156981 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151098325744 140151547396269 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31808] ppid=31793 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31808/stat : 31808 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409156981 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151097273440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31809] ppid=31793 vsize=15144768 memory=140582973998720 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31809/stat : 31809 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156982 15508242432 7239 33554432000 4194304 4196468 140731568248992 140151096219952 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 30408 KiB
[startup+0.21082 s]*
/proc/loadavg: 8.96 8.34 7.91 7/233 31809
/proc/meminfo: memFree=19698020/32770624 swapFree=66959216/67108860
[pid=31793] ppid=31790 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31793/stat : 31793 (xcsp3-exec) S 31790 31793 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409156975 115843072 363 33554432000 4194304 5098028 140724411750624 140724411748728 139782147957372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140724411757438 140724411757677 140724411757677 140724411760586 0
/proc/31793/statm: 28282 363 304 221 0 87 0
[pid=31795] ppid=31793 vsize=15144768 memory=41056 CPUtime=0.35 cores=0,2,4,6
/proc/31795/stat : 31795 (java) S 31793 31793 18186 0 -1 1077944320 9462 0 0 0 32 3 0 0 20 0 15 0 409156976 15508242432 10264 33554432000 4194304 4196468 140731568248992 140731568231536 140151568862967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
/proc/31795/statm: 3786192 10264 3315 1 0 3748377 0
[pid=31795/tid=31796] ppid=31793 vsize=15144768 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/31795/task/31796/stat : 31796 (java) R 31793 31793 18186 0 -1 4202560 6601 0 0 0 18 2 0 0 20 0 15 0 409156976 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151573094880 140151568874902 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31797] ppid=31793 vsize=15144768 memory=1965945 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31797/stat : 31797 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151496903440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31798] ppid=31793 vsize=15144768 memory=4051181469987374752 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31798/stat : 31798 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151495850896 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31799] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31799/stat : 31799 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151158598672 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31800] ppid=31793 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31800/stat : 31800 (java) S 31793 31793 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409156977 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151157546128 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31801] ppid=31793 vsize=15144768 memory=140582973998720 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31801/stat : 31801 (java) S 31793 31793 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409156978 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151104641008 140151568874114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31802] ppid=31793 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31802/stat : 31802 (java) S 31793 31793 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409156978 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151103587232 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31803] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31803/stat : 31803 (java) S 31793 31793 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409156979 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151102534640 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31804] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31804/stat : 31804 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409156981 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151101483216 140151568881563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31805] ppid=31793 vsize=15144768 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/31795/task/31805/stat : 31805 (java) S 31793 31793 18186 0 -1 1077944384 446 0 0 0 3 0 0 0 20 0 15 0 409156981 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151100430832 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31806] ppid=31793 vsize=15144768 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/31795/task/31806/stat : 31806 (java) S 31793 31793 18186 0 -1 1077944384 335 0 0 0 1 0 0 0 20 0 15 0 409156981 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151099378288 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31807] ppid=31793 vsize=15144768 memory=140582973998720 CPUtime=0.08 cores=0,2,4,6
/proc/31795/task/31807/stat : 31807 (java) R 31793 31793 18186 0 -1 4202560 773 0 0 0 8 0 0 0 20 0 15 0 409156981 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151098325744 140151561100094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31808] ppid=31793 vsize=15144768 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31808/stat : 31808 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409156981 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151097273440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31809] ppid=31793 vsize=15144768 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31809/stat : 31809 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156982 15508242432 10264 33554432000 4194304 4196468 140731568248992 140151096219952 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 15257896 KiB
Current children cumulated memory: 42508 KiB
[startup+0.315954 s]*
/proc/loadavg: 8.96 8.34 7.91 7/233 31809
/proc/meminfo: memFree=19690904/32770624 swapFree=66959216/67108860
[pid=31793] ppid=31790 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31793/stat : 31793 (xcsp3-exec) S 31790 31793 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409156975 115843072 363 33554432000 4194304 5098028 140724411750624 140724411748728 139782147957372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140724411757438 140724411757677 140724411757677 140724411760586 0
/proc/31793/statm: 28282 363 304 221 0 87 0
[pid=31795] ppid=31793 vsize=15149024 memory=50240 CPUtime=0.54 cores=0,2,4,6
/proc/31795/stat : 31795 (java) S 31793 31793 18186 0 -1 1077944320 10922 0 0 0 51 3 0 0 20 0 15 0 409156976 15512600576 12560 33554432000 4194304 4196468 140731568248992 140731568231536 140151568862967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
/proc/31795/statm: 3787256 12560 3355 1 0 3748377 0
[pid=31795/tid=31796] ppid=31793 vsize=15149024 memory=6791534058613427641 CPUtime=0.31 cores=0,2,4,6
/proc/31795/task/31796/stat : 31796 (java) R 31793 31793 18186 0 -1 4202560 7839 0 0 0 28 3 0 0 20 0 15 0 409156976 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151573099792 140151568884893 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31797] ppid=31793 vsize=15149024 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31797/stat : 31797 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151496903440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31798] ppid=31793 vsize=15149024 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31798/stat : 31798 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151495850896 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31799] ppid=31793 vsize=15149024 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31799/stat : 31799 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156977 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151158598672 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31800] ppid=31793 vsize=15149024 memory=4572146057552828020 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31800/stat : 31800 (java) S 31793 31793 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 409156977 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151157546128 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31801] ppid=31793 vsize=15149024 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31801/stat : 31801 (java) S 31793 31793 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 409156978 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151104641008 140151568874114 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31802] ppid=31793 vsize=15149024 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31802/stat : 31802 (java) S 31793 31793 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 409156978 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151103587232 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31803] ppid=31793 vsize=15149024 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31803/stat : 31803 (java) S 31793 31793 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 409156979 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151102534640 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31804] ppid=31793 vsize=15149024 memory=-6664436420846797971 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31804/stat : 31804 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409156981 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151101483216 140151568881563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31805] ppid=31793 vsize=15149024 memory=4426078206164241782 CPUtime=0.05 cores=0,2,4,6
/proc/31795/task/31805/stat : 31805 (java) S 31793 31793 18186 0 -1 1077944384 465 0 0 0 5 0 0 0 20 0 15 0 409156981 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151100430832 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31806] ppid=31793 vsize=15149024 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/31795/task/31806/stat : 31806 (java) S 31793 31793 18186 0 -1 1077944384 436 0 0 0 4 0 0 0 20 0 15 0 409156981 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151099378288 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31807] ppid=31793 vsize=15149024 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/31795/task/31807/stat : 31807 (java) S 31793 31793 18186 0 -1 1077944384 875 0 0 0 12 0 0 0 20 0 15 0 409156981 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151098325744 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31808] ppid=31793 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31808/stat : 31808 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 409156981 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151097273440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31809] ppid=31793 vsize=15149024 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31809/stat : 31809 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 409156982 15512600576 12560 33554432000 4194304 4196468 140731568248992 140151096219952 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262152 KiB
Current children cumulated memory: 51692 KiB
[startup+0.70435 s]
/proc/loadavg: 8.96 8.34 7.91 8/233 31809
/proc/meminfo: memFree=19680028/32770624 swapFree=66959216/67108860
[pid=31793] ppid=31790 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31793/stat : 31793 (xcsp3-exec) S 31790 31793 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409156975 115843072 363 33554432000 4194304 5098028 140724411750624 140724411748728 139782147957372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140724411757438 140724411757677 140724411757677 140724411760586 0
/proc/31793/statm: 28282 363 304 221 0 87 0
[pid=31795] ppid=31793 vsize=15417404 memory=101372 CPUtime=1.66 cores=0,2,4,6
/proc/31795/stat : 31795 (java) S 31793 31793 18186 0 -1 1077944320 14071 0 0 0 161 5 0 0 20 0 19 0 409156976 15787421696 25343 33554432000 4194304 4196468 140731568248992 140731568231536 140151568862967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
/proc/31795/statm: 3854351 25343 3461 1 0 3815453 0
[pid=31795/tid=31796] ppid=31793 vsize=15417404 memory=33 CPUtime=0.63 cores=0,2,4,6
/proc/31795/task/31796/stat : 31796 (java) S 31793 31793 18186 0 -1 1077944384 9091 0 0 0 59 4 0 0 20 0 19 0 409156976 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151573103744 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31797] ppid=31793 vsize=15417404 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31797/stat : 31797 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409156977 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151496903440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31798] ppid=31793 vsize=15417404 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31798/stat : 31798 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409156977 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151495850896 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31799] ppid=31793 vsize=15417404 memory=1660 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31799/stat : 31799 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409156977 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151158598672 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31800] ppid=31793 vsize=15417404 memory=38324 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31800/stat : 31800 (java) S 31793 31793 18186 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 409156977 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151157546128 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31801] ppid=31793 vsize=15417404 memory=988 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31801/stat : 31801 (java) S 31793 31793 18186 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 19 0 409156978 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151104641008 140151568874114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31802] ppid=31793 vsize=15417404 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31802/stat : 31802 (java) S 31793 31793 18186 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 409156978 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151103587232 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31803] ppid=31793 vsize=15417404 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31803/stat : 31803 (java) S 31793 31793 18186 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 409156979 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151102534640 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31804] ppid=31793 vsize=15417404 memory=580 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31804/stat : 31804 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409156981 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151101483216 140151568881563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31805] ppid=31793 vsize=15417404 memory=1720 CPUtime=0.26 cores=0,2,4,6
/proc/31795/task/31805/stat : 31805 (java) R 31793 31793 18186 0 -1 4202560 883 0 0 0 26 0 0 0 20 0 19 0 409156981 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151100416032 140151553762647 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31806] ppid=31793 vsize=15417404 memory=10604 CPUtime=0.26 cores=0,2,4,6
/proc/31795/task/31806/stat : 31806 (java) R 31793 31793 18186 0 -1 1077944384 850 0 0 0 26 0 0 0 20 0 19 0 409156981 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151099368080 140151568873173 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31807] ppid=31793 vsize=15417404 memory=3360 CPUtime=0.39 cores=0,2,4,6
/proc/31795/task/31807/stat : 31807 (java) S 31793 31793 18186 0 -1 1077944384 1648 0 0 0 39 0 0 0 20 0 19 0 409156981 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151098320736 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31808] ppid=31793 vsize=15417404 memory=776 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31808/stat : 31808 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409156981 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151097273440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31809] ppid=31793 vsize=15417404 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31809/stat : 31809 (java) S 31793 31793 18186 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 409156982 15787421696 25343 33554432000 4194304 4196468 140731568248992 140151096219952 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
Current children cumulated CPU time: 1.66 s
Current children cumulated vsize: 15530532 KiB
Current children cumulated memory: 102824 KiB
[startup+1.50935 s]
/proc/loadavg: 8.96 8.34 7.91 11/237 31822
/proc/meminfo: memFree=19630228/32770624 swapFree=66959216/67108860
[pid=31793] ppid=31790 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31793/stat : 31793 (xcsp3-exec) S 31790 31793 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409156975 115843072 363 33554432000 4194304 5098028 140724411750624 140724411748728 139782147957372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140724411757438 140724411757677 140724411757677 140724411760586 0
/proc/31793/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/31795/task/31809/stat : 31809 (java) S 31793 31793 18186 0 -1 1077944384 809 0 0 0 0 5 0 0 20 0 19 0 409156982 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151096219952 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32035] ppid=31793 vsize=15484996 memory=800 CPUtime=17.74 cores=0,2,4,6
/proc/31795/task/32035/stat : 32035 (java) R 31793 31793 18186 0 -1 4202560 356 0 0 0 1774 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151014427368 140151179705861 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32036] ppid=31793 vsize=15484996 memory=1452 CPUtime=17.37 cores=0,2,4,6
/proc/31795/task/32036/stat : 32036 (java) R 31793 31793 18186 0 -1 4202560 21560 0 0 0 1737 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151016536864 140151180846847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32037] ppid=31793 vsize=15484996 memory=1215588 CPUtime=17.53 cores=0,2,4,6
/proc/31795/task/32037/stat : 32037 (java) R 31793 31793 18186 0 -1 4202560 1930 0 0 0 1753 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151018639424 140151179705961 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32038] ppid=31793 vsize=15484996 memory=1452 CPUtime=17.75 cores=0,2,4,6
/proc/31795/task/32038/stat : 32038 (java) R 31793 31793 18186 0 -1 4202560 2144 0 0 0 1775 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151015481672 140151179705915 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
Current children cumulated CPU time: 700.71 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 1215544 KiB
[startup+177.201 s]
/proc/loadavg: 8.78 8.45 8.02 9/238 32038
/proc/meminfo: memFree=18551976/32770624 swapFree=66959216/67108860
[pid=31793] ppid=31790 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31793/stat : 31793 (xcsp3-exec) S 31790 31793 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409156975 115843072 363 33554432000 4194304 5098028 140724411750624 140724411748728 139782147957372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140724411757438 140724411757677 140724411757677 140724411760586 0
/proc/31793/statm: 28282 363 304 221 0 87 0
[pid=31795] ppid=31793 vsize=15484996 memory=1214092 CPUtime=702.3 cores=0,2,4,6
/proc/31795/stat : 31795 (java) S 31793 31793 18186 0 -1 1077944320 110065 0 0 0 70157 73 0 0 20 0 19 0 409156976 15856635904 303523 33554432000 4194304 4196468 140731568248992 140731568231536 140151568862967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
/proc/31795/statm: 3871249 303523 3542 1 0 3832351 0
[pid=31795/tid=31796] ppid=31793 vsize=15484996 memory=1216 CPUtime=0.63 cores=0,2,4,6
/proc/31795/task/31796/stat : 31796 (java) S 31793 31793 18186 0 -1 1077944384 9133 0 0 0 59 4 0 0 20 0 19 0 409156976 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151573103744 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31797] ppid=31793 vsize=15484996 memory=984 CPUtime=0.74 cores=0,2,4,6
/proc/31795/task/31797/stat : 31797 (java) S 31793 31793 18186 0 -1 1077944384 2686 0 0 0 64 10 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151496903440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31798] ppid=31793 vsize=15484996 memory=580 CPUtime=0.75 cores=0,2,4,6
/proc/31795/task/31798/stat : 31798 (java) S 31793 31793 18186 0 -1 1077944384 2398 0 0 0 66 9 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151495850896 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31799] ppid=31793 vsize=15484996 memory=1720 CPUtime=0.74 cores=0,2,4,6
/proc/31795/task/31799/stat : 31799 (java) S 31793 31793 18186 0 -1 1077944384 3326 0 0 0 65 9 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151158598672 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31800] ppid=31793 vsize=15484996 memory=10604 CPUtime=0.75 cores=0,2,4,6
/proc/31795/task/31800/stat : 31800 (java) S 31793 31793 18186 0 -1 1077944384 2413 0 0 0 65 10 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151157546128 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31801] ppid=31793 vsize=15484996 memory=3360 CPUtime=0.31 cores=0,2,4,6
/proc/31795/task/31801/stat : 31801 (java) S 31793 31793 18186 0 -1 1077944384 6557 0 0 0 22 9 0 0 20 0 19 0 409156978 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151104641008 140151568874114 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31802] ppid=31793 vsize=15484996 memory=776 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31802/stat : 31802 (java) S 31793 31793 18186 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 409156978 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151103587296 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31803] ppid=31793 vsize=15484996 memory=1564 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31803/stat : 31803 (java) S 31793 31793 18186 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 409156979 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151102534656 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31804] ppid=31793 vsize=15484996 memory=5964 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31804/stat : 31804 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151101483216 140151568881563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31805] ppid=31793 vsize=15484996 memory=1060 CPUtime=1.51 cores=0,2,4,6
/proc/31795/task/31805/stat : 31805 (java) S 31793 31793 18186 0 -1 1077944384 14944 0 0 0 150 1 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151100430832 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31806] ppid=31793 vsize=15484996 memory=2828 CPUtime=1.5 cores=0,2,4,6
/proc/31795/task/31806/stat : 31806 (java) S 31793 31793 18186 0 -1 1077944384 9223 0 0 0 149 1 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151099378288 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31807] ppid=31793 vsize=15484996 memory=1216 CPUtime=0.65 cores=0,2,4,6
/proc/31795/task/31807/stat : 31807 (java) S 31793 31793 18186 0 -1 1077944384 6833 0 0 0 65 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151098325744 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31808] ppid=31793 vsize=15484996 memory=984 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31808/stat : 31808 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151097273440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31809] ppid=31793 vsize=15484996 memory=14004 CPUtime=0.05 cores=0,2,4,6
/proc/31795/task/31809/stat : 31809 (java) S 31793 31793 18186 0 -1 1077944384 809 0 0 0 0 5 0 0 20 0 19 0 409156982 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151096219952 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32035] ppid=31793 vsize=15484996 memory=20508 CPUtime=18.14 cores=0,2,4,6
/proc/31795/task/32035/stat : 32035 (java) R 31793 31793 18186 0 -1 4202560 356 0 0 0 1814 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151014427368 140151549705254 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32036] ppid=31793 vsize=15484996 memory=14048 CPUtime=17.77 cores=0,2,4,6
/proc/31795/task/32036/stat : 32036 (java) R 31793 31793 18186 0 -1 4202560 21561 0 0 0 1777 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151016536864 140151180846667 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32037] ppid=31793 vsize=15484996 memory=1215524 CPUtime=17.93 cores=0,2,4,6
/proc/31795/task/32037/stat : 32037 (java) R 31793 31793 18186 0 -1 4202560 1930 0 0 0 1793 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151018639424 140151179973004 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32038] ppid=31793 vsize=15484996 memory=3620 CPUtime=18.13 cores=0,2,4,6
/proc/31795/task/32038/stat : 32038 (java) R 31793 31793 18186 0 -1 4202560 2144 0 0 0 1813 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151015481672 140151180115150 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
Current children cumulated CPU time: 702.3 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 1215544 KiB
[startup+177.601 s]
/proc/loadavg: 8.78 8.45 8.02 9/238 32038
/proc/meminfo: memFree=18551976/32770624 swapFree=66959216/67108860
[pid=31793] ppid=31790 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31793/stat : 31793 (xcsp3-exec) S 31790 31793 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409156975 115843072 363 33554432000 4194304 5098028 140724411750624 140724411748728 139782147957372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140724411757438 140724411757677 140724411757677 140724411760586 0
/proc/31793/statm: 28282 363 304 221 0 87 0
[pid=31795] ppid=31793 vsize=15484996 memory=1214092 CPUtime=703.88 cores=0,2,4,6
/proc/31795/stat : 31795 (java) S 31793 31793 18186 0 -1 1077944320 110105 0 0 0 70315 73 0 0 20 0 19 0 409156976 15856635904 303523 33554432000 4194304 4196468 140731568248992 140731568231536 140151568862967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
/proc/31795/statm: 3871249 303523 3542 1 0 3832351 0
[pid=31795/tid=31796] ppid=31793 vsize=15484996 memory=1215524 CPUtime=0.63 cores=0,2,4,6
/proc/31795/task/31796/stat : 31796 (java) S 31793 31793 18186 0 -1 1077944384 9133 0 0 0 59 4 0 0 20 0 19 0 409156976 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151573103744 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31797] ppid=31793 vsize=15484996 memory=20508 CPUtime=0.74 cores=0,2,4,6
/proc/31795/task/31797/stat : 31797 (java) S 31793 31793 18186 0 -1 1077944384 2686 0 0 0 64 10 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151496903440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31798] ppid=31793 vsize=15484996 memory=14048 CPUtime=0.75 cores=0,2,4,6
/proc/31795/task/31798/stat : 31798 (java) S 31793 31793 18186 0 -1 1077944384 2398 0 0 0 66 9 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151495850896 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31799] ppid=31793 vsize=15484996 memory=2124 CPUtime=0.74 cores=0,2,4,6
/proc/31795/task/31799/stat : 31799 (java) S 31793 31793 18186 0 -1 1077944384 3326 0 0 0 65 9 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151158598672 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31800] ppid=31793 vsize=15484996 memory=1452 CPUtime=0.75 cores=0,2,4,6
/proc/31795/task/31800/stat : 31800 (java) S 31793 31793 18186 0 -1 1077944384 2413 0 0 0 65 10 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151157546128 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31801] ppid=31793 vsize=15484996 memory=1215312 CPUtime=0.32 cores=0,2,4,6
/proc/31795/task/31801/stat : 31801 (java) S 31793 31793 18186 0 -1 1077944384 6558 0 0 0 22 10 0 0 20 0 19 0 409156978 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151104641008 140151568874114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31802] ppid=31793 vsize=15484996 memory=15818902244428187 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31802/stat : 31802 (java) S 31793 31793 18186 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 409156978 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151103587296 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31803] ppid=31793 vsize=15484996 memory=3360 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31803/stat : 31803 (java) S 31793 31793 18186 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 409156979 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151102534656 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31804] ppid=31793 vsize=15484996 memory=776 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31804/stat : 31804 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151101483216 140151568881563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31805] ppid=31793 vsize=15484996 memory=1564 CPUtime=1.51 cores=0,2,4,6
/proc/31795/task/31805/stat : 31805 (java) S 31793 31793 18186 0 -1 1077944384 14944 0 0 0 150 1 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151100430832 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31806] ppid=31793 vsize=15484996 memory=5964 CPUtime=1.5 cores=0,2,4,6
/proc/31795/task/31806/stat : 31806 (java) S 31793 31793 18186 0 -1 1077944384 9223 0 0 0 149 1 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151099378288 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31807] ppid=31793 vsize=15484996 memory=500 CPUtime=0.65 cores=0,2,4,6
/proc/31795/task/31807/stat : 31807 (java) S 31793 31793 18186 0 -1 1077944384 6833 0 0 0 65 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151098325744 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31808] ppid=31793 vsize=15484996 memory=1556 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31808/stat : 31808 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151097273440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31809] ppid=31793 vsize=15484996 memory=928 CPUtime=0.05 cores=0,2,4,6
/proc/31795/task/31809/stat : 31809 (java) S 31793 31793 18186 0 -1 1077944384 809 0 0 0 0 5 0 0 20 0 19 0 409156982 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151096219952 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32035] ppid=31793 vsize=15484996 memory=1760 CPUtime=18.54 cores=0,2,4,6
/proc/31795/task/32035/stat : 32035 (java) R 31793 31793 18186 0 -1 4202560 357 0 0 0 1854 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151014427336 140151179705925 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32036] ppid=31793 vsize=15484996 memory=824 CPUtime=18.17 cores=0,2,4,6
/proc/31795/task/32036/stat : 32036 (java) R 31793 31793 18186 0 -1 4202560 21591 0 0 0 1817 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151016533824 140151179705910 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32037] ppid=31793 vsize=15484996 memory=1436 CPUtime=18.32 cores=0,2,4,6
/proc/31795/task/32037/stat : 32037 (java) R 31793 31793 18186 0 -1 4202560 1933 0 0 0 1832 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151018639936 140151179706027 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32038] ppid=31793 vsize=15484996 memory=1984 CPUtime=18.53 cores=0,2,4,6
/proc/31795/task/32038/stat : 32038 (java) R 31793 31793 18186 0 -1 4202560 2149 0 0 0 1853 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151015481576 140151180855543 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
Current children cumulated CPU time: 703.88 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 1215544 KiB
[startup+177.701 s]
/proc/loadavg: 8.78 8.45 8.02 9/238 32038
/proc/meminfo: memFree=18551976/32770624 swapFree=66959216/67108860
[pid=31793] ppid=31790 vsize=113128 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31793/stat : 31793 (xcsp3-exec) S 31790 31793 18186 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 409156975 115843072 363 33554432000 4194304 5098028 140724411750624 140724411748728 139782147957372 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 38809600 140724411757438 140724411757677 140724411757677 140724411760586 0
/proc/31793/statm: 28282 363 304 221 0 87 0
[pid=31795] ppid=31793 vsize=15484996 memory=1214092 CPUtime=704.28 cores=0,2,4,6
/proc/31795/stat : 31795 (java) S 31793 31793 18186 0 -1 1077944320 110105 0 0 0 70355 73 0 0 20 0 19 0 409156976 15856635904 303523 33554432000 4194304 4196468 140731568248992 140731568231536 140151568862967 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
/proc/31795/statm: 3871249 303523 3542 1 0 3832351 0
[pid=31795/tid=31796] ppid=31793 vsize=15484996 memory=1215524 CPUtime=0.63 cores=0,2,4,6
/proc/31795/task/31796/stat : 31796 (java) S 31793 31793 18186 0 -1 1077944384 9133 0 0 0 59 4 0 0 20 0 19 0 409156976 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151573103744 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31797] ppid=31793 vsize=15484996 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/31795/task/31797/stat : 31797 (java) S 31793 31793 18186 0 -1 1077944384 2686 0 0 0 64 10 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151496903440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31798] ppid=31793 vsize=15484996 memory=1214092 CPUtime=0.75 cores=0,2,4,6
/proc/31795/task/31798/stat : 31798 (java) S 31793 31793 18186 0 -1 1077944384 2398 0 0 0 66 9 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151495850896 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31799] ppid=31793 vsize=15484996 memory=1452 CPUtime=0.74 cores=0,2,4,6
/proc/31795/task/31799/stat : 31799 (java) S 31793 31793 18186 0 -1 1077944384 3326 0 0 0 65 9 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151158598672 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31800] ppid=31793 vsize=15484996 memory=1452 CPUtime=0.75 cores=0,2,4,6
/proc/31795/task/31800/stat : 31800 (java) S 31793 31793 18186 0 -1 1077944384 2413 0 0 0 65 10 0 0 20 0 19 0 409156977 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151157546128 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31801] ppid=31793 vsize=15484996 memory=281165739213208 CPUtime=0.32 cores=0,2,4,6
/proc/31795/task/31801/stat : 31801 (java) S 31793 31793 18186 0 -1 1077944384 6558 0 0 0 22 10 0 0 20 0 19 0 409156978 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151104641008 140151568874114 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31802] ppid=31793 vsize=15484996 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31802/stat : 31802 (java) S 31793 31793 18186 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 19 0 409156978 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151103587296 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31803] ppid=31793 vsize=15484996 memory=1452 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31803/stat : 31803 (java) S 31793 31793 18186 0 -1 1077944384 80 0 0 0 0 0 0 0 20 0 19 0 409156979 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151102534656 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31804] ppid=31793 vsize=15484996 memory=1218516 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31804/stat : 31804 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151101483216 140151568881563 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31805] ppid=31793 vsize=15484996 memory=1452 CPUtime=1.51 cores=0,2,4,6
/proc/31795/task/31805/stat : 31805 (java) S 31793 31793 18186 0 -1 1077944384 14944 0 0 0 150 1 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151100430832 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31806] ppid=31793 vsize=15484996 memory=1214048 CPUtime=1.5 cores=0,2,4,6
/proc/31795/task/31806/stat : 31806 (java) S 31793 31793 18186 0 -1 1077944384 9223 0 0 0 149 1 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151099378288 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31807] ppid=31793 vsize=15484996 memory=1452 CPUtime=0.65 cores=0,2,4,6
/proc/31795/task/31807/stat : 31807 (java) S 31793 31793 18186 0 -1 1077944384 6833 0 0 0 65 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151098325744 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31808] ppid=31793 vsize=15484996 memory=1217096 CPUtime=0 cores=0,2,4,6
/proc/31795/task/31808/stat : 31808 (java) S 31793 31793 18186 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 409156981 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151097273440 140151568873173 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=31809] ppid=31793 vsize=15484996 memory=281165740103152 CPUtime=0.05 cores=0,2,4,6
/proc/31795/task/31809/stat : 31809 (java) S 31793 31793 18186 0 -1 1077944384 809 0 0 0 0 5 0 0 20 0 19 0 409156982 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151096219952 140151568874114 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32035] ppid=31793 vsize=15484996 memory=7810761731351275884 CPUtime=18.64 cores=0,2,4,6
/proc/31795/task/32035/stat : 32035 (java) R 31793 31793 18186 0 -1 4202560 357 0 0 0 1864 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151014427336 140151179834599 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32036] ppid=31793 vsize=15484996 memory=38328 CPUtime=18.27 cores=0,2,4,6
/proc/31795/task/32036/stat : 32036 (java) R 31793 31793 18186 0 -1 4202560 21591 0 0 0 1827 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151016533824 140151180846465 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32037] ppid=31793 vsize=15484996 memory=988 CPUtime=18.42 cores=0,2,4,6
/proc/31795/task/32037/stat : 32037 (java) R 31793 31793 18186 0 -1 4202560 1933 0 0 0 1842 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151018639936 140151179834491 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
[pid=31795/tid=32038] ppid=31793 vsize=15484996 memory=1452 CPUtime=18.62 cores=0,2,4,6
/proc/31795/task/32038/stat : 32038 (java) R 31793 31793 18186 0 -1 4202560 2149 0 0 0 1862 0 0 0 20 0 19 0 409172857 15856635904 303523 33554432000 4194304 4196468 140731568248992 140151015481576 140151179705856 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29655040 140731568255983 140731568256154 140731568256154 140731568259023 0
Current children cumulated CPU time: 704.28 s
Current children cumulated vsize: 15598124 KiB
Current children cumulated memory: 1215544 KiB
Child status: 0
Real time (s): 177.79
CPU time (s): 704.456
CPU user time (s): 703.708
CPU system time (s): 0.747576
CPU usage (%): 396.229
Max. virtual memory (cumulated for all children) (KiB): 15598124
Max. memory (cumulated for all children) (KiB): 1244716
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 703.708
system time used= 0.747576
maximum resident set size= 1247360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 111262
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13631
involuntary context switches= 14228
# summary of solver processes directly reported to runsolver:
# pid: 31793
# total CPU time (s): 704.456
# total CPU user time (s): 703.708
# total CPU system time (s): 0.747576
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.15647 second user time and 2.0526 second system time
The end