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 (15078 MiB free)
memory of node 1: 16384 MiB (15077 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4270366-1502624542/watcher-4270366-1502624542 -o /tmp/evaluation-result-4270366-1502624542/solver-4270366-1502624542 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502620465-28447 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 274679135 HOME/instance-4270366-1502624542.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=31505, runsolver pid=31502
[startup+0.100196 s]*
/proc/loadavg: 1.96 2.04 2.02 3/206 31512
/proc/meminfo: memFree=30874172/32770624 swapFree=67108860/67108860
[pid=31505] ppid=31502 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13441356 memory=15036 CPUtime=0.01 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 3568 0 0 0 1 0 0 0 20 0 7 0 104365569 13763948544 3759 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3360339 3759 1976 1 0 3349836 0
[pid=31507/tid=31508] ppid=31505 vsize=13441356 memory=-6871798056524144002 CPUtime=0.01 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 4202560 2327 0 0 0 1 0 0 0 20 0 7 0 104365570 13763948544 3759 18446744073709551615 4194304 4196468 140727430443328 140435532147472 140435511985502 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13441356 memory=7451718608254304499 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104365570 13763948544 3759 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13441356 memory=140246555641472 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104365570 13763948544 3759 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13441356 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 104365570 13763948544 3759 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13441356 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 104365570 13763948544 3759 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13441356 memory=140246555641472 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 104365572 13763948544 3759 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13450868 KiB
Current children cumulated memory: 16416 KiB
[startup+0.210114 s]*
/proc/loadavg: 1.96 2.04 2.02 3/215 31521
/proc/meminfo: memFree=30863168/32770624 swapFree=67108860/67108860
[pid=31505] ppid=31502 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13974352 memory=28396 CPUtime=0.11 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 5009 0 0 0 9 2 0 0 20 0 15 0 104365569 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3493588 7099 2746 1 0 3482964 0
[pid=31507/tid=31508] ppid=31505 vsize=13974352 memory=-6729903327702782306 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 4202560 3148 0 0 0 7 1 0 0 20 0 15 0 104365570 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435532128656 140435527926941 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13974352 memory=3461490851185325705 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13974352 memory=140246555641472 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104365570 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13974352 memory=140246555641472 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104365572 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31514] ppid=31505 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31514/stat : 31514 (java) S 31505 31505 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104365572 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435005436832 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31515] ppid=31505 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31515/stat : 31515 (java) S 31505 31505 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104365572 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435004384240 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31516] ppid=31505 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31516/stat : 31516 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435003332816 140435527923611 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31517] ppid=31505 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31517/stat : 31517 (java) S 31505 31505 12395 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 15 0 104365575 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435002280432 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31518] ppid=31505 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31518/stat : 31518 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435001227888 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31519] ppid=31505 vsize=13974352 memory=140246555641472 CPUtime=0.01 cores=0,2,4,6
/proc/31507/task/31519/stat : 31519 (java) S 31505 31505 12395 0 -1 1077944384 250 0 0 0 1 0 0 0 20 0 15 0 104365575 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140435000175344 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31520] ppid=31505 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31520/stat : 31520 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140434999123040 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31521] ppid=31505 vsize=13974352 memory=140246555641472 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31521/stat : 31521 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365579 14309736448 7099 18446744073709551615 4194304 4196468 140727430443328 140434998069552 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29776 KiB
[startup+0.310692 s]*
/proc/loadavg: 1.96 2.04 2.02 4/215 31521
/proc/meminfo: memFree=30852628/32770624 swapFree=67108860/67108860
[pid=31505] ppid=31502 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13974352 memory=40304 CPUtime=0.31 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 8670 0 0 0 28 3 0 0 20 0 15 0 104365569 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3493588 10076 2997 1 0 3482964 0
[pid=31507/tid=31508] ppid=31505 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 1077944384 5825 0 0 0 16 2 0 0 20 0 15 0 104365570 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140435532123104 140435520584237 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13974352 memory=-7003737579269690708 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13975376 memory=8248408006974860141 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14310785024 10076 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14310785024 10076 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104365570 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104365572 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31514] ppid=31505 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31514/stat : 31514 (java) S 31505 31505 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104365572 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140435005436832 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31515] ppid=31505 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31515/stat : 31515 (java) S 31505 31505 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104365572 14310785024 10076 18446744073709551615 4194304 4196468 140727430443328 140435004384240 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31516] ppid=31505 vsize=13975376 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31516/stat : 31516 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14310785024 10076 18446744073709551615 4194304 4196468 140727430443328 140435003332816 140435527923611 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31517] ppid=31505 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31507/task/31517/stat : 31517 (java) R 31505 31505 12395 0 -1 4202560 767 0 0 0 2 0 0 0 20 0 15 0 104365575 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140435002261448 140435509451709 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31518] ppid=31505 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/31507/task/31518/stat : 31518 (java) S 31505 31505 12395 0 -1 1077944384 116 0 0 0 2 0 0 0 20 0 15 0 104365575 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140435001227888 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31519] ppid=31505 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/31507/task/31519/stat : 31519 (java) S 31505 31505 12395 0 -1 1077944384 690 0 0 0 6 0 0 0 20 0 15 0 104365575 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140435000175344 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31520] ppid=31505 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31520/stat : 31520 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140434999123040 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31521] ppid=31505 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31521/stat : 31521 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365579 14309736448 10076 18446744073709551615 4194304 4196468 140727430443328 140434998069552 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 41684 KiB
[startup+0.701519 s]
/proc/loadavg: 1.96 2.04 2.02 5/215 31521
/proc/meminfo: memFree=30841892/32770624 swapFree=67108860/67108860
[pid=31505] ppid=31502 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13978684 memory=66020 CPUtime=1.06 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 11572 0 0 0 102 4 0 0 20 0 15 0 104365569 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3494671 16505 3151 1 0 3482964 0
[pid=31507/tid=31508] ppid=31505 vsize=13978684 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 4202560 7929 0 0 0 53 3 0 0 20 0 15 0 104365570 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435532140952 140435171661275 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13978684 memory=60 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365570 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 104365570 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 104365572 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31514] ppid=31505 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31514/stat : 31514 (java) S 31505 31505 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 104365572 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435005436832 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31515] ppid=31505 vsize=13978684 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31515/stat : 31515 (java) S 31505 31505 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 104365572 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435004384240 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31516] ppid=31505 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31516/stat : 31516 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435003332816 140435527923611 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31517] ppid=31505 vsize=13978684 memory=140246452806256 CPUtime=0.15 cores=0,2,4,6
/proc/31507/task/31517/stat : 31517 (java) S 31505 31505 12395 0 -1 1077944384 986 0 0 0 15 0 0 0 20 0 15 0 104365575 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435002280432 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31518] ppid=31505 vsize=13978684 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/31507/task/31518/stat : 31518 (java) R 31505 31505 12395 0 -1 4202560 421 0 0 0 13 0 0 0 20 0 15 0 104365575 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435001227888 140435507598119 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31519] ppid=31505 vsize=13978684 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/31507/task/31519/stat : 31519 (java) S 31505 31505 12395 0 -1 1077944384 929 0 0 0 20 0 0 0 20 0 15 0 104365575 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140435000175344 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31520] ppid=31505 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31520/stat : 31520 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140434999123040 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31521] ppid=31505 vsize=13978684 memory=7809523229951467568 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31521/stat : 31521 (java) S 31505 31505 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 104365579 14314172416 16505 18446744073709551615 4194304 4196468 140727430443328 140434998069552 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
Current children cumulated CPU time: 1.06 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 67400 KiB
[startup+1.50152 s]
/proc/loadavg: 1.96 2.04 2.02 3/215 31521
/proc/meminfo: memFree=30780020/32770624 swapFree=67108860/67108860
[pid=31505] ppid=31502 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13980732 memory=271740 CPUtime=2.17 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 14359 0 0 0 198 19 0 0 20 0 15 0 104365569 14316269568 67935 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3495183 67935 3180 1 0 3483476 0
[pid=31507/tid=31508] ppid=31505 vsize=13980732 memory=4132 CPUtime=1.27 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 4202560 8637 0 0 0 123 4 0 0 20 0 15 0 104365570 14316269568 67935 18446744073709551615 4194304 4196468 140727430443328 140435532139944 140435171661242 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13980732 memory=51256 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 67935 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 130 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 67935 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 116 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 67935 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13980732 memory=56 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 355 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 67935 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13980732 memory=280492905666496 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 67935 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31514] ppid=31505 vsize=13980732 memory=280492905670912 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13980732 memory=271764 CPUtime=2.27 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 14403 0 0 0 208 19 0 0 20 0 15 0 104365569 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3495183 67941 3180 1 0 3483476 0
[pid=31507/tid=31508] ppid=31505 vsize=13980732 memory=7649399358444876083 CPUtime=1.37 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 4202560 8645 0 0 0 133 4 0 0 20 0 15 0 104365570 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435532142504 140435171661242 0 4 1 16800974 0 0 0 -1 6 0 0 3 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13980732 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 130 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 116 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13980732 memory=4580 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 355 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31514] ppid=31505 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31514/stat : 31514 (java) S 31505 31505 12395 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435005436832 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31515] ppid=31505 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31515/stat : 31515 (java) S 31505 31505 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435004384240 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31516] ppid=31505 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31516/stat : 31516 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435003332816 140435527923611 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31517] ppid=31505 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31507/task/31517/stat : 31517 (java) S 31505 31505 12395 0 -1 1077944384 991 0 0 0 15 0 0 0 20 0 15 0 104365575 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435002280432 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31518] ppid=31505 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31507/task/31518/stat : 31518 (java) S 31505 31505 12395 0 -1 1077944384 441 0 0 0 15 0 0 0 20 0 15 0 104365575 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435001227888 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31519] ppid=31505 vsize=13980732 memory=1296 CPUtime=0.24 cores=0,2,4,6
/proc/31507/task/31519/stat : 31519 (java) S 31505 31505 12395 0 -1 1077944384 1897 0 0 0 24 0 0 0 20 0 15 0 104365575 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140435000175344 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31520] ppid=31505 vsize=13980732 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31520/stat : 31520 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140434999123040 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31521] ppid=31505 vsize=13980732 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31521/stat : 31521 (java) S 31505 31505 12395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 104365579 14316269568 67941 18446744073709551615 4194304 4196468 140727430443328 140434998069552 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 273144 KiB
[startup+2.00084 s]*
/proc/loadavg: 1.96 2.04 2.02 3/215 31521
/proc/meminfo: memFree=30621448/32770624 swapFree=67108860/67108860
[pid=31505] ppid=31502 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13980732 memory=271816 CPUtime=2.69 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 14514 0 0 0 250 19 0 0 20 0 15 0 104365569 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3495183 67954 3182 1 0 3483476 0
[pid=31507/tid=31508] ppid=31505 vsize=13980732 memory=-8774313645642428999 CPUtime=1.77 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 4202560 8679 0 0 0 173 4 0 0 20 0 15 0 104365570 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435532143528 140435171587130 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13980732 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 130 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13980732 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 116 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13980732 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 355 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13980732 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31514] ppid=31505 vsize=13980732 memory=15880 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31514/stat : 31514 (java) S 31505 31505 12395 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435005436832 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31515] ppid=31505 vsize=13980732 memory=4048 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31515/stat : 31515 (java) S 31505 31505 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435004384240 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31516] ppid=31505 vsize=13980732 memory=29704 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31516/stat : 31516 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435003332816 140435527923611 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31517] ppid=31505 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31507/task/31517/stat : 31517 (java) S 31505 31505 12395 0 -1 1077944384 991 0 0 0 15 0 0 0 20 0 15 0 104365575 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435002280432 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31518] ppid=31505 vsize=13980732 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/31507/task/31518/stat : 31518 (java) S 31505 31505 12395 0 -1 1077944384 441 0 0 0 15 0 0 0 20 0 15 0 104365575 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435001227888 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31519] ppid=31505 vsize=13980732 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/31507/task/31519/stat : 31519 (java) S 31505 31505 12395 0 -1 1077944384 1974 0 0 0 25 0 0 0 20 0 15 0 104365575 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140435000175344 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31520] ppid=31505 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31520/stat : 31520 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140434999123040 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31521] ppid=31505 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31521/stat : 31521 (java) S 31505 31505 12395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 104365579 14316269568 67954 18446744073709551615 4194304 4196468 140727430443328 140434998069552 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
Current children cumulated CPU time: 2.69 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 273196 KiB
[startup+2.20079 s]
/proc/loadavg: 1.96 2.04 2.02 3/215 31521
/proc/meminfo: memFree=30621448/32770624 swapFree=67108860/67108860
[pid=31505] ppid=31502 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13980732 memory=274240 CPUtime=3.07 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 16782 0 0 0 287 20 0 0 20 0 15 0 104365569 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3495183 68560 3203 1 0 3483476 0
[pid=31507/tid=31508] ppid=31505 vsize=13980732 memory=887519 CPUtime=1.96 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 4202560 9399 0 0 0 192 4 0 0 20 0 15 0 104365570 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435532140656 140435172231930 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13980732 memory=-7595718316222733696 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13980732 memory=8292148123324110535 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 130 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13980732 memory=-2317720213663324238 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 116 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13980732 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 355 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13980732 memory=6944652177228980320 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31514] ppid=31505 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31514/stat : 31514 (java) S 31505 31505 12395 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435005436832 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31515] ppid=31505 vsize=13980732 memory=6943526294502006880 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31515/stat : 31515 (java) S 31505 31505 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435004384240 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31516] ppid=31505 vsize=13980732 memory=-7674914008656224160 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31516/stat : 31516 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435003332816 140435527923611 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31517] ppid=31505 vsize=13980732 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/31507/task/31517/stat : 31517 (java) S 31505 31505 12395 0 -1 1077944384 1512 0 0 0 22 0 0 0 20 0 15 0 104365575 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435002280432 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31518] ppid=31505 vsize=13980732 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/31507/task/31518/stat : 31518 (java) R 31505 31505 12395 0 -1 1077944384 1216 0 0 0 23 0 0 0 20 0 15 0 104365575 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435001227888 140435527916162 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31519] ppid=31505 vsize=13980732 memory=65 CPUtime=0.28 cores=0,2,4,6
/proc/31507/task/31519/stat : 31519 (java) R 31505 31505 12395 0 -1 4202560 2226 0 0 0 28 0 0 0 20 0 15 0 104365575 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140435000175344 140435527926362 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31520] ppid=31505 vsize=13980732 memory=3904964140115047455 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31520/stat : 31520 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140434999123040 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31521] ppid=31505 vsize=13980732 memory=7086240636145848675 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31521/stat : 31521 (java) S 31505 31505 12395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 104365579 14316269568 68560 18446744073709551615 4194304 4196468 140727430443328 140434998069552 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
Current children cumulated CPU time: 3.07 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 275620 KiB
[startup+2.30152 s]
/proc/loadavg: 1.96 2.04 2.02 3/215 31521
/proc/meminfo: memFree=30621448/32770624 swapFree=67108860/67108860
[pid=31505] ppid=31502 vsize=9512 memory=1380 CPUtime=0 cores=0,2,4,6
/proc/31505/stat : 31505 (xcsp3-exec) S 31502 31505 12395 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 104365561 9740288 345 18446744073709551615 4194304 5098028 140731746829616 140731746827720 139924590994044 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 8 0 0 7196144 7232144 27176960 140731746836863 140731746837066 140731746837066 140731746840555 0
/proc/31505/statm: 2378 345 289 221 0 87 0
[pid=31507] ppid=31505 vsize=13980732 memory=274836 CPUtime=3.29 cores=0,2,4,6
/proc/31507/stat : 31507 (java) S 31505 31505 12395 0 -1 1077944320 16922 0 0 0 309 20 0 0 20 0 15 0 104365569 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140727430425872 140435527905015 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
/proc/31507/statm: 3495183 68709 3205 1 0 3483476 0
[pid=31507/tid=31508] ppid=31505 vsize=13980732 memory=56 CPUtime=2.06 cores=0,2,4,6
/proc/31507/task/31508/stat : 31508 (java) R 31505 31505 12395 0 -1 4202560 9399 0 0 0 202 4 0 0 20 0 15 0 104365570 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435532140656 140435172433046 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31509] ppid=31505 vsize=13980732 memory=280492905666496 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31509/stat : 31509 (java) S 31505 31505 12395 0 -1 1077944384 165 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435499748112 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31510] ppid=31505 vsize=13980732 memory=280492905670912 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31510/stat : 31510 (java) S 31505 31505 12395 0 -1 1077944384 130 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435127266192 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31511] ppid=31505 vsize=13980732 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/31507/task/31511/stat : 31511 (java) S 31505 31505 12395 0 -1 1077944384 116 0 0 0 4 3 0 0 20 0 15 0 104365570 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435126213648 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31512] ppid=31505 vsize=13980732 memory=13931 CPUtime=0.08 cores=0,2,4,6
/proc/31507/task/31512/stat : 31512 (java) S 31505 31505 12395 0 -1 1077944384 355 0 0 0 5 3 0 0 20 0 15 0 104365570 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435125161104 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31513] ppid=31505 vsize=13980732 memory=22219 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31513/stat : 31513 (java) S 31505 31505 12395 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435006490608 140435527916162 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31514] ppid=31505 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31514/stat : 31514 (java) S 31505 31505 12395 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435005436832 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31515] ppid=31505 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31515/stat : 31515 (java) S 31505 31505 12395 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 104365572 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435004384240 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31516] ppid=31505 vsize=13980732 memory=280492905842016 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31516/stat : 31516 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435003332816 140435527923611 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31517] ppid=31505 vsize=13980732 memory=13924 CPUtime=0.26 cores=0,2,4,6
/proc/31507/task/31517/stat : 31517 (java) R 31505 31505 12395 0 -1 4202560 1531 0 0 0 26 0 0 0 20 0 15 0 104365575 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435002280352 140435511401803 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31518] ppid=31505 vsize=13980732 memory=22215 CPUtime=0.28 cores=0,2,4,6
/proc/31507/task/31518/stat : 31518 (java) S 31505 31505 12395 0 -1 1077944384 1305 0 0 0 28 0 0 0 20 0 15 0 104365575 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435001227888 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31519] ppid=31505 vsize=13980732 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/31507/task/31519/stat : 31519 (java) S 31505 31505 12395 0 -1 1077944384 2258 0 0 0 30 0 0 0 20 0 15 0 104365575 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140435000175344 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31520] ppid=31505 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31520/stat : 31520 (java) S 31505 31505 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 104365575 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140434999123040 140435527915221 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
[pid=31507/tid=31521] ppid=31505 vsize=13980732 memory=280492905898240 CPUtime=0 cores=0,2,4,6
/proc/31507/task/31521/stat : 31521 (java) S 31505 31505 12395 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 15 0 104365579 14316269568 68709 18446744073709551615 4194304 4196468 140727430443328 140434998069552 140435527916162 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 18751488 140727430447543 140727430447718 140727430447718 140727430451151 0
Current children cumulated CPU time: 3.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 276216 KiB
Child status: 0
Real time (s): 2.37215
CPU time (s): 3.48198
CPU user time (s): 3.27097
CPU system time (s): 0.211006
CPU usage (%): 146.786
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 276216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.27097
system time used= 0.211006
maximum resident set size= 279912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18689
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1861
involuntary context switches= 18
# summary of solver processes directly reported to runsolver:
# pid: 31505
# total CPU time (s): 3.48198
# total CPU user time (s): 3.27097
# total CPU system time (s): 0.211006
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.0378 second user time and 0.068126 second system time
The end