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 (10737 MiB free)
memory of node 1: 16384 MiB (14089 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302032-1532887643/watcher-4302032-1532887643 -o /tmp/evaluation-result-4302032-1532887643/solver-4302032-1532887643 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532884072-6816 --watchdog 312 HOME/xcsp3-exec -seed 408737352 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4302032-1532887643.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=10411, runsolver pid=10408
[startup+0.104304 s]*
/proc/loadavg: 1.79 2.11 2.08 3/217 10427
/proc/meminfo: memFree=25405656/32770624 swapFree=67108688/67108860
[pid=10411] ppid=10408 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (xcsp3-exec) S 10408 10411 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106327172 115843072 363 33554432000 4194304 5098028 140726310601632 140726310599736 140696047030908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32419840 140726310605889 140726310606089 140726310606089 140726310608842 0
/proc/10411/statm: 28282 363 305 221 0 87 0
[pid=10413] ppid=10411 vsize=14082940 memory=28832 CPUtime=0.13 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10411 6529 0 -1 1077944320 5592 0 0 0 11 2 0 0 20 0 15 0 106327172 14420930560 7208 33554432000 4194304 4196468 140726455305872 140726455288416 139888944197367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
/proc/10413/statm: 3520735 7208 3015 1 0 3483012 0
[pid=10413/tid=10414] ppid=10411 vsize=14082940 memory=-6962121287837372198 CPUtime=0.09 cores=1,3,5,7
/proc/10413/task/10414/stat : 10414 (java) R 10411 10411 6529 0 -1 4202560 3582 0 0 0 8 1 0 0 20 0 15 0 106327172 14420930560 7208 33554432000 4194304 4196468 140726455305872 139888948430640 139888578035788 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10415] ppid=10411 vsize=14082940 memory=-3689349214911541841 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327173 14420930560 7208 33554432000 4194304 4196468 140726455305872 139888540445200 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10416] ppid=10411 vsize=14082940 memory=140163306452608 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10416/stat : 10416 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327173 14420930560 7208 33554432000 4194304 4196468 140726455305872 139888539392656 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10417] ppid=10411 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10417/stat : 10417 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327173 14420930560 7208 33554432000 4194304 4196468 140726455305872 139888538339600 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10418] ppid=10411 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10418/stat : 10418 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327173 14420930560 7208 33554432000 4194304 4196468 140726455305872 139888537287056 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10419] ppid=10411 vsize=14082940 memory=140163306452608 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10419/stat : 10419 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327174 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888418446064 139888944208514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10420] ppid=10411 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10420/stat : 10420 (java) S 10411 10411 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106327175 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888417392288 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10421] ppid=10411 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10421/stat : 10421 (java) S 10411 10411 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106327175 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888416339184 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10422] ppid=10411 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10422/stat : 10422 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888415287760 139888944215963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10423] ppid=10411 vsize=14082940 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10423/stat : 10423 (java) S 10411 10411 6529 0 -1 1077944384 308 0 0 0 0 0 0 0 20 0 15 0 106327178 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888414234864 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10424] ppid=10411 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10424/stat : 10424 (java) S 10411 10411 6529 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 106327178 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888413182320 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10425] ppid=10411 vsize=14082940 memory=140163306452608 CPUtime=0.01 cores=1,3,5,7
/proc/10413/task/10425/stat : 10425 (java) R 10411 10411 6529 0 -1 4202560 333 0 0 0 1 0 0 0 20 0 15 0 106327178 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888412129264 139888923596127 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10426] ppid=10411 vsize=14082940 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888411076960 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10427] ppid=10411 vsize=14082940 memory=140163306452608 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327178 14420930560 7274 33554432000 4194304 4196468 140726455305872 139888410025008 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 30284 KiB
[startup+0.214302 s]*
/proc/loadavg: 1.79 2.11 2.08 4/217 10427
/proc/meminfo: memFree=25394244/32770624 swapFree=67108688/67108860
[pid=10411] ppid=10408 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (xcsp3-exec) S 10408 10411 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106327172 115843072 363 33554432000 4194304 5098028 140726310601632 140726310599736 140696047030908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32419840 140726310605889 140726310606089 140726310606089 140726310608842 0
/proc/10411/statm: 28282 363 305 221 0 87 0
[pid=10413] ppid=10411 vsize=14082940 memory=41176 CPUtime=0.35 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10411 6529 0 -1 1077944320 8355 0 0 0 32 3 0 0 20 0 15 0 106327172 14420930560 10294 33554432000 4194304 4196468 140726455305872 140726455288416 139888944197367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
/proc/10413/statm: 3520735 10294 3209 1 0 3483012 0
[pid=10413/tid=10414] ppid=10411 vsize=14085056 memory=7883960649037381690 CPUtime=0.19 cores=1,3,5,7
/proc/10413/task/10414/stat : 10414 (java) R 10411 10411 6529 0 -1 4202560 5456 0 0 0 18 1 0 0 20 0 15 0 106327172 14423097344 10360 33554432000 4194304 4196468 140726455305872 139888948419512 139888946474096 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10415] ppid=10411 vsize=14085056 memory=12627 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327173 14423097344 10360 33554432000 4194304 4196468 140726455305872 139888540445200 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10416] ppid=10411 vsize=14085056 memory=3688927114685019808 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10416/stat : 10416 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327173 14423097344 10360 33554432000 4194304 4196468 140726455305872 139888539392656 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10417] ppid=10411 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10417/stat : 10417 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327173 14423097344 10360 33554432000 4194304 4196468 140726455305872 139888538339600 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10418] ppid=10411 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10418/stat : 10418 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327173 14423097344 10360 33554432000 4194304 4196468 140726455305872 139888537287056 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10419] ppid=10411 vsize=14085056 memory=140163306452608 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10419/stat : 10419 (java) S 10411 10411 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106327174 14423097344 10360 33554432000 4194304 4196468 140726455305872 139888418446064 139888944208514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10420] ppid=10411 vsize=14085056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10420/stat : 10420 (java) S 10411 10411 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106327175 14423097344 10360 33554432000 4194304 4196468 140726455305872 139888417392288 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10421] ppid=10411 vsize=14085056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10421/stat : 10421 (java) S 10411 10411 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106327175 14423097344 10360 33554432000 4194304 4196468 140726455305872 139888416339184 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10422] ppid=10411 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10422/stat : 10422 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14425288704 10363 33554432000 4194304 4196468 140726455305872 139888415287760 139888944215963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10423] ppid=10411 vsize=14087196 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/10413/task/10423/stat : 10423 (java) S 10411 10411 6529 0 -1 1077944384 408 0 0 0 2 0 0 0 20 0 15 0 106327178 14425288704 10363 33554432000 4194304 4196468 140726455305872 139888414234864 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10424] ppid=10411 vsize=14087196 memory=-1 CPUtime=0.02 cores=1,3,5,7
/proc/10413/task/10424/stat : 10424 (java) S 10411 10411 6529 0 -1 1077944384 428 0 0 0 2 0 0 0 20 0 15 0 106327178 14425288704 10363 33554432000 4194304 4196468 140726455305872 139888413182320 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10425] ppid=10411 vsize=14087196 memory=140163306452608 CPUtime=0.08 cores=1,3,5,7
/proc/10413/task/10425/stat : 10425 (java) S 10411 10411 6529 0 -1 1077944384 771 0 0 0 8 0 0 0 20 0 15 0 106327178 14425288704 10363 33554432000 4194304 4196468 140726455305872 139888412129264 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10426] ppid=10411 vsize=14087196 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14425288704 10363 33554432000 4194304 4196468 140726455305872 139888411076960 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10427] ppid=10411 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327178 14425288704 10363 33554432000 4194304 4196468 140726455305872 139888410025008 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 42628 KiB
[startup+0.310733 s]*
/proc/loadavg: 1.79 2.11 2.08 4/217 10427
/proc/meminfo: memFree=25388288/32770624 swapFree=67108688/67108860
[pid=10411] ppid=10408 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (xcsp3-exec) S 10408 10411 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106327172 115843072 363 33554432000 4194304 5098028 140726310601632 140726310599736 140696047030908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32419840 140726310605889 140726310606089 140726310606089 140726310608842 0
/proc/10411/statm: 28282 363 305 221 0 87 0
[pid=10413] ppid=10411 vsize=14087196 memory=47988 CPUtime=0.53 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10411 6529 0 -1 1077944320 9185 0 0 0 49 4 0 0 20 0 15 0 106327172 14425288704 11997 33554432000 4194304 4196468 140726455305872 140726455288416 139888944197367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
/proc/10413/statm: 3521799 11997 3249 1 0 3483012 0
[pid=10413/tid=10414] ppid=10411 vsize=14087196 memory=6791534058613427641 CPUtime=0.29 cores=1,3,5,7
/proc/10413/task/10414/stat : 10414 (java) R 10411 10411 6529 0 -1 4202560 6126 0 0 0 27 2 0 0 20 0 15 0 106327172 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888948428480 139888928277854 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10415] ppid=10411 vsize=14087196 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327173 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888540445200 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10416] ppid=10411 vsize=14087196 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10416/stat : 10416 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327173 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888539392656 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10417] ppid=10411 vsize=14087196 memory=-5587046532246807594 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10417/stat : 10417 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327173 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888538339600 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10418] ppid=10411 vsize=14087196 memory=7379517710693473142 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10418/stat : 10418 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327173 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888537287056 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10419] ppid=10411 vsize=14087196 memory=7016714186490735262 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10419/stat : 10419 (java) S 10411 10411 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106327174 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888418446064 139888944208514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10420] ppid=10411 vsize=14087196 memory=-9062862659931694204 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10420/stat : 10420 (java) S 10411 10411 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106327175 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888417392288 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10421] ppid=10411 vsize=14087196 memory=3047711566422646390 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10421/stat : 10421 (java) S 10411 10411 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106327175 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888416339184 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10422] ppid=10411 vsize=14087196 memory=8693815914432465728 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10422/stat : 10422 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888415287760 139888944215963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10423] ppid=10411 vsize=14087196 memory=4628975386420216973 CPUtime=0.05 cores=1,3,5,7
/proc/10413/task/10423/stat : 10423 (java) R 10411 10411 6529 0 -1 4202560 486 0 0 0 5 0 0 0 20 0 15 0 106327178 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888414225136 139888925742109 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10424] ppid=10411 vsize=14087196 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/10413/task/10424/stat : 10424 (java) S 10411 10411 6529 0 -1 1077944384 441 0 0 0 3 0 0 0 20 0 15 0 106327178 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888413182320 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10425] ppid=10411 vsize=14087196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/10413/task/10425/stat : 10425 (java) S 10411 10411 6529 0 -1 1077944384 841 0 0 0 12 0 0 0 20 0 15 0 106327178 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888412129264 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10426] ppid=10411 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888411076960 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10427] ppid=10411 vsize=14087196 memory=0 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327178 14425288704 11997 33554432000 4194304 4196468 140726455305872 139888410025008 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 49440 KiB
[startup+0.700836 s]
/proc/loadavg: 1.79 2.11 2.08 5/217 10427
/proc/meminfo: memFree=25374892/32770624 swapFree=67108688/67108860
[pid=10411] ppid=10408 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (xcsp3-exec) S 10408 10411 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106327172 115843072 363 33554432000 4194304 5098028 140726310601632 140726310599736 140696047030908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32419840 140726310605889 140726310606089 140726310606089 140726310608842 0
/proc/10411/statm: 28282 363 305 221 0 87 0
[pid=10413] ppid=10411 vsize=14089320 memory=68292 CPUtime=1.63 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10411 6529 0 -1 1077944320 12791 0 0 0 158 5 0 0 20 0 15 0 106327172 14427463680 17073 33554432000 4194304 4196468 140726455305872 140726455288416 139888944197367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
/proc/10413/statm: 3522330 17073 3365 1 0 3483524 0
[pid=10413/tid=10414] ppid=10411 vsize=14089320 memory=30404 CPUtime=0.67 cores=1,3,5,7
/proc/10413/task/10414/stat : 10414 (java) R 10411 10411 6529 0 -1 4202560 6866 0 0 0 64 3 0 0 20 0 15 0 106327172 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888948428624 139888581232493 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10415] ppid=10411 vsize=14089320 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327173 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888540445200 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10416] ppid=10411 vsize=14089320 memory=2408 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10416/stat : 10416 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327173 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888539392656 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10417] ppid=10411 vsize=14089320 memory=1724 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10417/stat : 10417 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327173 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888538339600 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10418] ppid=10411 vsize=14089320 memory=1004 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10418/stat : 10418 (java) S 10411 10411 6529 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106327173 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888537287056 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10419] ppid=10411 vsize=14089320 memory=1952 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10419/stat : 10419 (java) S 10411 10411 6529 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 106327174 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888418446064 139888944208514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10420] ppid=10411 vsize=14089320 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10420/stat : 10420 (java) S 10411 10411 6529 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888417392288 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10421] ppid=10411 vsize=14089320 memory=792 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10421/stat : 10421 (java) S 10411 10411 6529 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888416339184 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10422] ppid=10411 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10422/stat : 10422 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888415287760 139888944215963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10423] ppid=10411 vsize=14089320 memory=8556 CPUtime=0.34 cores=1,3,5,7
/proc/10413/task/10423/stat : 10423 (java) R 10411 10411 6529 0 -1 4202560 1542 0 0 0 34 0 0 0 20 0 15 0 106327178 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888414219528 139888927584211 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10424] ppid=10411 vsize=14089320 memory=1444 CPUtime=0.33 cores=1,3,5,7
/proc/10413/task/10424/stat : 10424 (java) R 10411 10411 6529 0 -1 4202560 1648 0 0 0 33 0 0 0 20 0 15 0 106327178 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888413168320 139888929305345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10425] ppid=10411 vsize=14089320 memory=5668 CPUtime=0.26 cores=1,3,5,7
/proc/10413/task/10425/stat : 10425 (java) S 10411 10411 6529 0 -1 1077944384 1426 0 0 0 26 0 0 0 20 0 15 0 106327178 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888412129264 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10426] ppid=10411 vsize=14089320 memory=4616 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888411076960 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10427] ppid=10411 vsize=14089320 memory=14076 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10411 6529 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 17073 33554432000 4194304 4196468 140726455305872 139888410025008 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
Current children cumulated CPU time: 1.63 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 69744 KiB
[startup+1.50076 s]
/proc/loadavg: 1.73 2.09 2.07 3/217 10427
/proc/meminfo: memFree=25361316/32770624 swapFree=67108688/67108860
[pid=10411] ppid=10408 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (xcsp3-exec) S 10408 10411 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106327172 115843072 363 33554432000 4194304 5098028 140726310601632 140726310599736 140696047030908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32419840 140726310605889 140726310606089 140726310606089 140726310608842 0
/proc/10411/statm: 28282 363 305 221 0 87 0
################
# More data... #
################
/proc/10413/task/10421/stat : 10421 (java) S 10411 10411 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 75507 33554432000 4194304 4196468 140726455305872 139888416339184 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10422] ppid=10411 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10422/stat : 10422 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 75507 33554432000 4194304 4196468 140726455305872 139888415287760 139888944215963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10423] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.85 cores=1,3,5,7
/proc/10413/task/10423/stat : 10423 (java) S 10411 10411 6529 0 -1 1077944384 7346 0 0 0 85 0 0 0 20 0 15 0 106327178 14427463680 75507 33554432000 4194304 4196468 140726455305872 139888414234864 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10424] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.74 cores=1,3,5,7
/proc/10413/task/10424/stat : 10424 (java) S 10411 10411 6529 0 -1 1077944384 4676 0 0 0 74 0 0 0 20 0 15 0 106327178 14427463680 75507 33554432000 4194304 4196468 140726455305872 139888413182320 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10425] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/10413/task/10425/stat : 10425 (java) S 10411 10411 6529 0 -1 1077944384 4264 0 0 0 32 1 0 0 20 0 15 0 106327178 14427463680 75507 33554432000 4194304 4196468 140726455305872 139888412129264 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10426] ppid=10411 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 75507 33554432000 4194304 4196468 140726455305872 139888411076960 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10427] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.06 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10411 6529 0 -1 1077944384 713 0 0 0 3 3 0 0 20 0 15 0 106327178 14427463680 75507 33554432000 4194304 4196468 140726455305872 139888410025008 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
Current children cumulated CPU time: 165.52 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 303480 KiB
[startup+222.301 s]
/proc/loadavg: 1.60 1.79 1.95 3/217 10515
/proc/meminfo: memFree=25077620/32770624 swapFree=67108688/67108860
[pid=10411] ppid=10408 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (xcsp3-exec) S 10408 10411 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106327172 115843072 363 33554432000 4194304 5098028 140726310601632 140726310599736 140696047030908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32419840 140726310605889 140726310606089 140726310606089 140726310608842 0
/proc/10411/statm: 28282 363 305 221 0 87 0
[pid=10413] ppid=10411 vsize=14089320 memory=353848 CPUtime=226.26 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10411 6529 0 -1 1077944320 43497 0 0 0 22582 44 0 0 20 0 15 0 106327172 14427463680 88462 33554432000 4194304 4196468 140726455305872 140726455288416 139888944197367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
/proc/10413/statm: 3522330 88462 3407 1 0 3483524 0
[pid=10413/tid=10414] ppid=10411 vsize=14089320 memory=354876 CPUtime=220.83 cores=1,3,5,7
/proc/10413/task/10414/stat : 10414 (java) R 10411 10411 6529 0 -1 4202560 15715 0 0 0 22075 8 0 0 20 0 15 0 106327172 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888948436384 139888582252694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10415] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.72 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10411 6529 0 -1 1077944384 1795 0 0 0 65 7 0 0 20 0 15 0 106327173 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888540445200 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10416] ppid=10411 vsize=14089320 memory=353848 CPUtime=0.71 cores=1,3,5,7
/proc/10413/task/10416/stat : 10416 (java) S 10411 10411 6529 0 -1 1077944384 1682 0 0 0 65 6 0 0 20 0 15 0 106327173 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888539392656 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10417] ppid=10411 vsize=14089320 memory=353848 CPUtime=0.72 cores=1,3,5,7
/proc/10413/task/10417/stat : 10417 (java) S 10411 10411 6529 0 -1 1077944384 2133 0 0 0 64 8 0 0 20 0 15 0 106327173 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888538339600 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10418] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.71 cores=1,3,5,7
/proc/10413/task/10418/stat : 10418 (java) S 10411 10411 6529 0 -1 1077944384 1956 0 0 0 65 6 0 0 20 0 15 0 106327173 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888537287056 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10419] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.46 cores=1,3,5,7
/proc/10413/task/10419/stat : 10419 (java) S 10411 10411 6529 0 -1 1077944384 1829 0 0 0 40 6 0 0 20 0 15 0 106327174 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888418446064 139888944208514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10420] ppid=10411 vsize=14089320 memory=1204 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10420/stat : 10420 (java) S 10411 10411 6529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888417392288 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10421] ppid=10411 vsize=14089320 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10421/stat : 10421 (java) S 10411 10411 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888416339184 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10422] ppid=10411 vsize=14089320 memory=288230583166042425 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10422/stat : 10422 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888415287760 139888944215963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10423] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.85 cores=1,3,5,7
/proc/10413/task/10423/stat : 10423 (java) S 10411 10411 6529 0 -1 1077944384 7346 0 0 0 85 0 0 0 20 0 15 0 106327178 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888414234864 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10424] ppid=10411 vsize=14089320 memory=355112 CPUtime=0.74 cores=1,3,5,7
/proc/10413/task/10424/stat : 10424 (java) S 10411 10411 6529 0 -1 1077944384 4676 0 0 0 74 0 0 0 20 0 15 0 106327178 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888413182320 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10425] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/10413/task/10425/stat : 10425 (java) S 10411 10411 6529 0 -1 1077944384 4264 0 0 0 32 1 0 0 20 0 15 0 106327178 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888412129264 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10426] ppid=10411 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888411076960 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10427] ppid=10411 vsize=14089320 memory=4140 CPUtime=0.09 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10411 6529 0 -1 1077944384 732 0 0 0 5 4 0 0 20 0 15 0 106327178 14427463680 88462 33554432000 4194304 4196468 140726455305872 139888410025008 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
Current children cumulated CPU time: 226.26 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 355300 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+248.11 s]
/proc/loadavg: 1.54 1.76 1.94 3/217 10591
/proc/meminfo: memFree=25047288/32770624 swapFree=67108688/67108860
[pid=10411] ppid=10408 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (xcsp3-exec) S 10408 10411 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106327172 115843072 363 33554432000 4194304 5098028 140726310601632 140726310599736 140696047030908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32419840 140726310605889 140726310606089 140726310606089 140726310608842 0
/proc/10411/statm: 28282 363 305 221 0 87 0
[pid=10413] ppid=10411 vsize=14089320 memory=355480 CPUtime=252.09 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10411 6529 0 -1 1077944320 45142 0 0 0 25165 44 0 0 20 0 15 0 106327172 14427463680 88870 33554432000 4194304 4196468 140726455305872 140726455288416 139888944197367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
/proc/10413/statm: 3522330 88870 3407 1 0 3483524 0
[pid=10413/tid=10414] ppid=10411 vsize=14089320 memory=355480 CPUtime=246.62 cores=1,3,5,7
/proc/10413/task/10414/stat : 10414 (java) R 10411 10411 6529 0 -1 4202560 16992 0 0 0 24654 8 0 0 20 0 15 0 106327172 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888948436384 139888582213429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10415] ppid=10411 vsize=14089320 memory=355480 CPUtime=0.73 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10411 6529 0 -1 1077944384 2049 0 0 0 66 7 0 0 20 0 15 0 106327173 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888540445200 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10416] ppid=10411 vsize=14089320 memory=355480 CPUtime=0.72 cores=1,3,5,7
/proc/10413/task/10416/stat : 10416 (java) S 10411 10411 6529 0 -1 1077944384 1707 0 0 0 66 6 0 0 20 0 15 0 106327173 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888539392656 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10417] ppid=10411 vsize=14089320 memory=355480 CPUtime=0.72 cores=1,3,5,7
/proc/10413/task/10417/stat : 10417 (java) S 10411 10411 6529 0 -1 1077944384 2160 0 0 0 64 8 0 0 20 0 15 0 106327173 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888538339600 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10418] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.72 cores=1,3,5,7
/proc/10413/task/10418/stat : 10418 (java) S 10411 10411 6529 0 -1 1077944384 1989 0 0 0 66 6 0 0 20 0 15 0 106327173 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888537287056 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10419] ppid=10411 vsize=14089320 memory=355480 CPUtime=0.47 cores=1,3,5,7
/proc/10413/task/10419/stat : 10419 (java) S 10411 10411 6529 0 -1 1077944384 1852 0 0 0 41 6 0 0 20 0 15 0 106327174 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888418446064 139888944208514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10420] ppid=10411 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10420/stat : 10420 (java) S 10411 10411 6529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888417392288 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10421] ppid=10411 vsize=14089320 memory=30408 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10421/stat : 10421 (java) S 10411 10411 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888416339184 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10422] ppid=10411 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10422/stat : 10422 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888415287760 139888944215963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10423] ppid=10411 vsize=14089320 memory=30408 CPUtime=0.85 cores=1,3,5,7
/proc/10413/task/10423/stat : 10423 (java) S 10411 10411 6529 0 -1 1077944384 7346 0 0 0 85 0 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888414234864 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10424] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.74 cores=1,3,5,7
/proc/10413/task/10424/stat : 10424 (java) S 10411 10411 6529 0 -1 1077944384 4676 0 0 0 74 0 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888413182320 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10425] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/10413/task/10425/stat : 10425 (java) S 10411 10411 6529 0 -1 1077944384 4266 0 0 0 32 1 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888412129264 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10426] ppid=10411 vsize=14089320 memory=355480 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888411076960 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10427] ppid=10411 vsize=14089320 memory=4140 CPUtime=0.09 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10411 6529 0 -1 1077944384 736 0 0 0 5 4 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888410025008 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 356932 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+248.12 s]
# the end of solver process 10411 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001171 s, system=0.001171 s
[startup+248.123 s]
# the end of solver process 10413 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.661 s, system=0.4563 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+248.11 s]
/proc/loadavg: 1.54 1.76 1.94 3/217 10591
/proc/meminfo: memFree=25047288/32770624 swapFree=67108688/67108860
[pid=10411] ppid=10408 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10411/stat : 10411 (xcsp3-exec) S 10408 10411 6529 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 106327172 115843072 363 33554432000 4194304 5098028 140726310601632 140726310599736 140696047030908 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 32419840 140726310605889 140726310606089 140726310606089 140726310608842 0
/proc/10411/statm: 28282 363 305 221 0 87 0
[pid=10413] ppid=10411 vsize=14089320 memory=355480 CPUtime=252.09 cores=1,3,5,7
/proc/10413/stat : 10413 (java) S 10411 10411 6529 0 -1 1077944320 45142 0 0 0 25165 44 0 0 20 0 15 0 106327172 14427463680 88870 33554432000 4194304 4196468 140726455305872 140726455288416 139888944197367 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
/proc/10413/statm: 3522330 88870 3407 1 0 3483524 0
[pid=10413/tid=10414] ppid=10411 vsize=14089320 memory=355480 CPUtime=246.62 cores=1,3,5,7
/proc/10413/task/10414/stat : 10414 (java) R 10411 10411 6529 0 -1 4202560 16992 0 0 0 24654 8 0 0 20 0 15 0 106327172 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888948436384 139888582213429 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10415] ppid=10411 vsize=14089320 memory=355480 CPUtime=0.73 cores=1,3,5,7
/proc/10413/task/10415/stat : 10415 (java) S 10411 10411 6529 0 -1 1077944384 2049 0 0 0 66 7 0 0 20 0 15 0 106327173 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888540445200 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10416] ppid=10411 vsize=14089320 memory=355480 CPUtime=0.72 cores=1,3,5,7
/proc/10413/task/10416/stat : 10416 (java) S 10411 10411 6529 0 -1 1077944384 1707 0 0 0 66 6 0 0 20 0 15 0 106327173 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888539392656 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10417] ppid=10411 vsize=14089320 memory=355480 CPUtime=0.72 cores=1,3,5,7
/proc/10413/task/10417/stat : 10417 (java) S 10411 10411 6529 0 -1 1077944384 2160 0 0 0 64 8 0 0 20 0 15 0 106327173 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888538339600 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10418] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.72 cores=1,3,5,7
/proc/10413/task/10418/stat : 10418 (java) S 10411 10411 6529 0 -1 1077944384 1989 0 0 0 66 6 0 0 20 0 15 0 106327173 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888537287056 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10419] ppid=10411 vsize=14089320 memory=355480 CPUtime=0.47 cores=1,3,5,7
/proc/10413/task/10419/stat : 10419 (java) S 10411 10411 6529 0 -1 1077944384 1852 0 0 0 41 6 0 0 20 0 15 0 106327174 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888418446064 139888944208514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10420] ppid=10411 vsize=14089320 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10420/stat : 10420 (java) S 10411 10411 6529 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888417392288 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10421] ppid=10411 vsize=14089320 memory=30408 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10421/stat : 10421 (java) S 10411 10411 6529 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 15 0 106327175 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888416339184 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10422] ppid=10411 vsize=14089320 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10422/stat : 10422 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888415287760 139888944215963 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10423] ppid=10411 vsize=14089320 memory=30408 CPUtime=0.85 cores=1,3,5,7
/proc/10413/task/10423/stat : 10423 (java) S 10411 10411 6529 0 -1 1077944384 7346 0 0 0 85 0 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888414234864 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10424] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.74 cores=1,3,5,7
/proc/10413/task/10424/stat : 10424 (java) S 10411 10411 6529 0 -1 1077944384 4676 0 0 0 74 0 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888413182320 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10425] ppid=10411 vsize=14089320 memory=1452 CPUtime=0.33 cores=1,3,5,7
/proc/10413/task/10425/stat : 10425 (java) S 10411 10411 6529 0 -1 1077944384 4266 0 0 0 32 1 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888412129264 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10426] ppid=10411 vsize=14089320 memory=355480 CPUtime=0 cores=1,3,5,7
/proc/10413/task/10426/stat : 10426 (java) S 10411 10411 6529 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888411076960 139888944207573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
[pid=10413/tid=10427] ppid=10411 vsize=14089320 memory=4140 CPUtime=0.09 cores=1,3,5,7
/proc/10413/task/10427/stat : 10427 (java) S 10411 10411 6529 0 -1 1077944384 736 0 0 0 5 4 0 0 20 0 15 0 106327178 14427463680 88870 33554432000 4194304 4196468 140726455305872 139888410025008 139888944208514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10326016 140726455309452 140726455309622 140726455309622 140726455312335 0
Current children cumulated CPU time: 252.09 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 356932 KiB
Child status: 143
Real time (s): 248.123
CPU time (s): 252.117
CPU user time (s): 251.661
CPU system time (s): 0.4563
CPU usage (%): 101.61
Max. virtual memory (cumulated for all children) (KiB): 14202448
Max. memory (cumulated for all children) (KiB): 357348
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.661
system time used= 0.4563
maximum resident set size= 356136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46246
page faults= 0
swaps= 0
block input operations= 0
block output operations= 392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19537
involuntary context switches= 772
# summary of solver processes directly reported to runsolver:
# pid: 10411,10413
# total CPU time (s): 252.117
# total CPU user time (s): 251.661
# total CPU system time (s): 0.4563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.6485 second user time and 2.28458 second system time
The end