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 (11055 MiB free)
memory of node 1: 16384 MiB (9154 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292549-1532288824/watcher-4292549-1532288824 -o /tmp/evaluation-result-4292549-1532288824/solver-4292549-1532288824 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1532279285-3428 --watchdog 2560 HOME/xcsp3-exec -seed 824146778 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292549-1532288824.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=4448, runsolver pid=4445
[startup+0.100656 s]*
/proc/loadavg: 1.35 1.43 1.48 3/217 4464
/proc/meminfo: memFree=20678452/32770624 swapFree=67108860/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46445628 115843072 364 33554432000 4194304 5098028 140732487763872 140732487761976 139817399067260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34476032 140732487771195 140732487771396 140732487771396 140732487774154 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14082840 memory=28696 CPUtime=0.12 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 877 0 -1 1077944320 5469 0 0 0 11 1 0 0 20 0 15 0 46445628 14420828160 7174 33554432000 4194304 4196468 140723774772928 140723774755472 140358735937271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
/proc/4450/statm: 3520710 7174 3027 1 0 3483008 0
[pid=4450/tid=4451] ppid=4448 vsize=14082840 memory=-8976644418600983157 CPUtime=0.08 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 877 0 -1 4202560 3465 0 0 0 8 0 0 0 20 0 15 0 46445628 14420828160 7174 33554432000 4194304 4196468 140723774772928 140358740163872 140358735949206 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4452] ppid=4448 vsize=14082840 memory=3472468129007973584 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445629 14420828160 7174 33554432000 4194304 4196468 140723774772928 140358666025872 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4453] ppid=4448 vsize=14082840 memory=140000112821888 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445629 14420828160 7174 33554432000 4194304 4196468 140723774772928 140358664973072 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4454] ppid=4448 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46445629 14420828160 7174 33554432000 4194304 4196468 140723774772928 140358663920784 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4455] ppid=4448 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445629 14420828160 7174 33554432000 4194304 4196468 140723774772928 140358662867984 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4456] ppid=4448 vsize=14082840 memory=140000112821888 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445631 14420828160 7174 33554432000 4194304 4196468 140723774772928 140357939398768 140358735948418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4457] ppid=4448 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46445631 14420828160 7174 33554432000 4194304 4196468 140723774772928 140357938344736 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4458] ppid=4448 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46445631 14420828160 7174 33554432000 4194304 4196468 140723774772928 140357937292400 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4459] ppid=4448 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14420828160 7174 33554432000 4194304 4196468 140723774772928 140357936240720 140358735955867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4460] ppid=4448 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 877 0 -1 1077944384 424 0 0 0 0 0 0 0 20 0 15 0 46445634 14420828160 7174 33554432000 4194304 4196468 140723774772928 140357935188592 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4461] ppid=4448 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14420828160 7174 33554432000 4194304 4196468 140723774772928 140357934135792 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4462] ppid=4448 vsize=14082840 memory=140000112821888 CPUtime=0.01 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) R 4448 4448 877 0 -1 4202560 332 0 0 0 1 0 0 0 20 0 15 0 46445634 14420828160 7240 33554432000 4194304 4196468 140723774772928 140357933083504 140358729034107 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4463] ppid=4448 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14420828160 7240 33554432000 4194304 4196468 140723774772928 140357932030944 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4464] ppid=4448 vsize=14082840 memory=140000112821888 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46445634 14420828160 7240 33554432000 4194304 4196468 140723774772928 140357930977712 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 30152 KiB
[startup+0.210494 s]*
/proc/loadavg: 1.35 1.43 1.48 4/217 4464
/proc/meminfo: memFree=20666668/32770624 swapFree=67108860/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46445628 115843072 364 33554432000 4194304 5098028 140732487763872 140732487761976 139817399067260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34476032 140732487771195 140732487771396 140732487771396 140732487774154 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14082840 memory=40720 CPUtime=0.33 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 877 0 -1 1077944320 8191 0 0 0 31 2 0 0 20 0 15 0 46445628 14420828160 10180 33554432000 4194304 4196468 140723774772928 140723774755472 140358735937271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
/proc/4450/statm: 3520710 10180 3190 1 0 3483008 0
[pid=4450/tid=4451] ppid=4448 vsize=14082840 memory=4500115623978573208 CPUtime=0.19 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 877 0 -1 1077944384 5395 0 0 0 18 1 0 0 20 0 15 0 46445628 14420828160 10234 33554432000 4194304 4196468 140723774772928 140358740159416 140358738212551 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4452] ppid=4448 vsize=14082840 memory=3472468129007973584 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445629 14420828160 10234 33554432000 4194304 4196468 140723774772928 140358666025872 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4453] ppid=4448 vsize=14082840 memory=140000112821888 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445629 14420828160 10234 33554432000 4194304 4196468 140723774772928 140358664973072 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4454] ppid=4448 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46445629 14420828160 10234 33554432000 4194304 4196468 140723774772928 140358663920784 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4455] ppid=4448 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445629 14420828160 10234 33554432000 4194304 4196468 140723774772928 140358662867984 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4456] ppid=4448 vsize=14082840 memory=140000112821888 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46445631 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357939398768 140358735948418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4457] ppid=4448 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46445631 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357938344736 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4458] ppid=4448 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46445631 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357937292400 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4459] ppid=4448 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357936240720 140358735955867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4460] ppid=4448 vsize=14082840 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 877 0 -1 1077944384 624 0 0 0 2 0 0 0 20 0 15 0 46445634 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357935188592 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4461] ppid=4448 vsize=14082840 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 877 0 -1 1077944384 135 0 0 0 1 0 0 0 20 0 15 0 46445634 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357934135792 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4462] ppid=4448 vsize=14082840 memory=140000112821888 CPUtime=0.07 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) R 4448 4448 877 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 15 0 46445634 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357933083504 140358720099232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4463] ppid=4448 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357932030944 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4464] ppid=4448 vsize=14082840 memory=140000112821888 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46445634 14420828160 10234 33554432000 4194304 4196468 140723774772928 140357930977712 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 42176 KiB
[startup+0.310493 s]*
/proc/loadavg: 1.35 1.43 1.48 3/217 4464
/proc/meminfo: memFree=20660340/32770624 swapFree=67108860/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46445628 115843072 364 33554432000 4194304 5098028 140732487763872 140732487761976 139817399067260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34476032 140732487771195 140732487771396 140732487771396 140732487774154 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14087096 memory=47520 CPUtime=0.51 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 877 0 -1 1077944320 9063 0 0 0 48 3 0 0 20 0 15 0 46445628 14425186304 11880 33554432000 4194304 4196468 140723774772928 140723774755472 140358735937271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
/proc/4450/statm: 3521774 11880 3222 1 0 3483008 0
[pid=4450/tid=4451] ppid=4448 vsize=14087096 memory=4500115623978573208 CPUtime=0.29 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 877 0 -1 4202560 6106 0 0 0 27 2 0 0 20 0 15 0 46445628 14425186304 11945 33554432000 4194304 4196468 140723774772928 140358740171056 140358720017758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4452] ppid=4448 vsize=14087096 memory=3472468129007973584 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445629 14425186304 11945 33554432000 4194304 4196468 140723774772928 140358666025872 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4453] ppid=4448 vsize=14087096 memory=140000112824224 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445629 14425186304 11945 33554432000 4194304 4196468 140723774772928 140358664973072 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4454] ppid=4448 vsize=14087096 memory=139999962053735 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46445629 14425186304 11945 33554432000 4194304 4196468 140723774772928 140358663920784 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4455] ppid=4448 vsize=14087096 memory=139999962053615 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445629 14425186304 11945 33554432000 4194304 4196468 140723774772928 140358662867984 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4456] ppid=4448 vsize=14087096 memory=140000112825316 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46445631 14425186304 11945 33554432000 4194304 4196468 140723774772928 140357939398768 140358735948418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4457] ppid=4448 vsize=14087096 memory=139999962062831 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46445631 14425186304 11945 33554432000 4194304 4196468 140723774772928 140357938344736 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4458] ppid=4448 vsize=14087096 memory=279999924123312 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46445631 14425186304 11945 33554432000 4194304 4196468 140723774772928 140357937292400 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4459] ppid=4448 vsize=14087096 memory=139999962067192 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14425186304 11945 33554432000 4194304 4196468 140723774772928 140357936240720 140358735955867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4460] ppid=4448 vsize=14087096 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 877 0 -1 1077944384 633 0 0 0 4 0 0 0 20 0 15 0 46445634 14425186304 11954 33554432000 4194304 4196468 140723774772928 140357935188592 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4461] ppid=4448 vsize=14087096 memory=2240 CPUtime=0.03 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 877 0 -1 1077944384 141 0 0 0 3 0 0 0 20 0 15 0 46445634 14425186304 11954 33554432000 4194304 4196468 140723774772928 140357934135792 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4462] ppid=4448 vsize=14087096 memory=140000112821888 CPUtime=0.12 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 877 0 -1 1077944384 881 0 0 0 12 0 0 0 20 0 15 0 46445634 14425186304 11954 33554432000 4194304 4196468 140723774772928 140357933083504 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4463] ppid=4448 vsize=14087096 memory=2208 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14425186304 11954 33554432000 4194304 4196468 140723774772928 140357932030944 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4464] ppid=4448 vsize=14087096 memory=140000112821888 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46445634 14425186304 11954 33554432000 4194304 4196468 140723774772928 140357930977712 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48976 KiB
[startup+0.700815 s]
/proc/loadavg: 1.35 1.43 1.48 4/217 4464
/proc/meminfo: memFree=20640160/32770624 swapFree=67108860/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46445628 115843072 364 33554432000 4194304 5098028 140732487763872 140732487761976 139817399067260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34476032 140732487771195 140732487771396 140732487771396 140732487774154 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089220 memory=71372 CPUtime=1.6 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 877 0 -1 1077944320 13037 0 0 0 155 5 0 0 20 0 15 0 46445628 14427361280 17843 33554432000 4194304 4196468 140723774772928 140723774755472 140358735937271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
/proc/4450/statm: 3522305 17843 3338 1 0 3483520 0
[pid=4450/tid=4451] ppid=4448 vsize=14089220 memory=15496 CPUtime=0.66 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 877 0 -1 4202560 6953 0 0 0 64 2 0 0 20 0 15 0 46445628 14427361280 17843 33554432000 4194304 4196468 140723774772928 140358740176032 140358343607094 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4452] ppid=4448 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445629 14427361280 17843 33554432000 4194304 4196468 140723774772928 140358666025872 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4453] ppid=4448 vsize=14089220 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445629 14427361280 17843 33554432000 4194304 4196468 140723774772928 140358664973072 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4454] ppid=4448 vsize=14089220 memory=1724 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46445629 14427361280 17843 33554432000 4194304 4196468 140723774772928 140358663920784 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4455] ppid=4448 vsize=14089220 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 877 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 46445629 14427361280 17843 33554432000 4194304 4196468 140723774772928 140358662867984 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4456] ppid=4448 vsize=14089220 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 877 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357939398768 140358735948418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4457] ppid=4448 vsize=14089220 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 877 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357938344736 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4458] ppid=4448 vsize=14089220 memory=5300 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 877 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357937292400 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4459] ppid=4448 vsize=14089220 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357936240720 140358735955867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4460] ppid=4448 vsize=14089220 memory=11960 CPUtime=0.29 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) R 4448 4448 877 0 -1 4202560 1694 0 0 0 29 0 0 0 20 0 15 0 46445634 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357935178512 140358713532241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4461] ppid=4448 vsize=14089220 memory=1008 CPUtime=0.28 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) R 4448 4448 877 0 -1 4202560 1186 0 0 0 28 0 0 0 20 0 15 0 46445634 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357934128816 140358717460327 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4462] ppid=4448 vsize=14089220 memory=792 CPUtime=0.31 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 877 0 -1 1077944384 1893 0 0 0 31 0 0 0 20 0 15 0 46445634 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357933083504 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4463] ppid=4448 vsize=14089220 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357932030944 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4464] ppid=4448 vsize=14089220 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 877 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 17843 33554432000 4194304 4196468 140723774772928 140357930977712 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
Current children cumulated CPU time: 1.6 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 72828 KiB
[startup+1.50158 s]
/proc/loadavg: 1.35 1.43 1.48 5/217 4464
/proc/meminfo: memFree=20625960/32770624 swapFree=67108860/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46445628 115843072 364 33554432000 4194304 5098028 140732487763872 140732487761976 139817399067260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34476032 140732487771195 140732487771396 140732487771396 140732487774154 0
/proc/4448/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 877 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 131573 33554432000 4194304 4196468 140723774772928 140357937292400 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4459] ppid=4448 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 131573 33554432000 4194304 4196468 140723774772928 140357936240720 140358735955867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4460] ppid=4448 vsize=14089220 memory=1456 CPUtime=2.21 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 877 0 -1 1077944384 11302 0 0 0 219 2 0 0 20 0 15 0 46445634 14427361280 131573 33554432000 4194304 4196468 140723774772928 140357935188592 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4461] ppid=4448 vsize=14089220 memory=526292 CPUtime=2.09 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 877 0 -1 1077944384 8984 0 0 0 208 1 0 0 20 0 15 0 46445634 14427361280 131573 33554432000 4194304 4196468 140723774772928 140357934135792 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4462] ppid=4448 vsize=14089220 memory=1456 CPUtime=0.53 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 877 0 -1 1077944384 8272 0 0 0 52 1 0 0 20 0 15 0 46445634 14427361280 131573 33554432000 4194304 4196468 140723774772928 140357933083504 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4463] ppid=4448 vsize=14089220 memory=526292 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 131573 33554432000 4194304 4196468 140723774772928 140357932030944 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4464] ppid=4448 vsize=14089220 memory=5300 CPUtime=1.05 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 877 0 -1 1077944384 1296 0 0 0 49 56 0 0 20 0 15 0 46445634 14427361280 131573 33554432000 4194304 4196468 140723774772928 140357930977712 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
Current children cumulated CPU time: 2287.72 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 527748 KiB
[startup+2322.3 s]
/proc/loadavg: 1.66 1.78 1.74 3/217 4789
/proc/meminfo: memFree=21925640/32770624 swapFree=67108860/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46445628 115843072 364 33554432000 4194304 5098028 140732487763872 140732487761976 139817399067260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34476032 140732487771195 140732487771396 140732487771396 140732487774154 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089220 memory=952088 CPUtime=2348.17 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 877 0 -1 1077944320 160717 0 0 0 234472 345 0 0 20 0 15 0 46445628 14427361280 238022 33554432000 4194304 4196468 140723774772928 140723774755472 140358735937271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
/proc/4450/statm: 3522305 238022 3409 1 0 3483520 0
[pid=4450/tid=4451] ppid=4448 vsize=14089220 memory=952088 CPUtime=2313 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 877 0 -1 4202560 84138 0 0 0 231073 227 0 0 20 0 15 0 46445628 14427361280 238022 33554432000 4194304 4196468 140723774772928 140358740177104 140358346502287 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4452] ppid=4448 vsize=14089220 memory=952088 CPUtime=6.93 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 877 0 -1 1077944384 7829 0 0 0 679 14 0 0 20 0 15 0 46445629 14427361280 238022 33554432000 4194304 4196468 140723774772928 140358666025872 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4453] ppid=4448 vsize=14089220 memory=1456 CPUtime=6.94 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 877 0 -1 1077944384 7442 0 0 0 682 12 0 0 20 0 15 0 46445629 14427361280 238022 33554432000 4194304 4196468 140723774772928 140358664973072 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4454] ppid=4448 vsize=14089220 memory=2412 CPUtime=6.92 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 877 0 -1 1077944384 8130 0 0 0 679 13 0 0 20 0 15 0 46445629 14427361280 238022 33554432000 4194304 4196468 140723774772928 140358663920784 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4455] ppid=4448 vsize=14089220 memory=1724 CPUtime=6.92 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 877 0 -1 1077944384 7320 0 0 0 678 14 0 0 20 0 15 0 46445629 14427361280 238022 33554432000 4194304 4196468 140723774772928 140358662867984 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4456] ppid=4448 vsize=14089220 memory=15576 CPUtime=1.45 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 877 0 -1 1077944384 14617 0 0 0 125 20 0 0 20 0 15 0 46445631 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357939398768 140358735948418 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4457] ppid=4448 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 877 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357938344736 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4458] ppid=4448 vsize=14089220 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 877 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357937292400 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4459] ppid=4448 vsize=14089220 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357936240720 140358735955867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4460] ppid=4448 vsize=14089220 memory=1456 CPUtime=2.21 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 877 0 -1 1077944384 11304 0 0 0 219 2 0 0 20 0 15 0 46445634 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357935188592 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4461] ppid=4448 vsize=14089220 memory=4140 CPUtime=2.09 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 877 0 -1 1077944384 8986 0 0 0 208 1 0 0 20 0 15 0 46445634 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357934135792 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4462] ppid=4448 vsize=14089220 memory=1456 CPUtime=0.53 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 877 0 -1 1077944384 8274 0 0 0 52 1 0 0 20 0 15 0 46445634 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357933083504 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4463] ppid=4448 vsize=14089220 memory=917132 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357932030944 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4464] ppid=4448 vsize=14089220 memory=15576 CPUtime=1.08 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 877 0 -1 1077944384 1315 0 0 0 51 57 0 0 20 0 15 0 46445634 14427361280 238022 33554432000 4194304 4196468 140723774772928 140357930977712 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
Current children cumulated CPU time: 2348.17 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 953544 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2373.7 s]
/proc/loadavg: 1.87 1.82 1.76 3/217 4789
/proc/meminfo: memFree=20148776/32770624 swapFree=67108860/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46445628 115843072 364 33554432000 4194304 5098028 140732487763872 140732487761976 139817399067260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34476032 140732487771195 140732487771396 140732487771396 140732487774154 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089220 memory=2761724 CPUtime=2400.08 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 877 0 -1 1077944320 165603 0 0 0 239634 374 0 0 20 0 15 0 46445628 14427361280 690431 33554432000 4194304 4196468 140723774772928 140723774755472 140358735937271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
/proc/4450/statm: 3522305 690431 3409 1 0 3483520 0
[pid=4450/tid=4451] ppid=4448 vsize=14089220 memory=2726528 CPUtime=2364.17 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 877 0 -1 4202560 87105 0 0 0 236163 254 0 0 20 0 15 0 46445628 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358740176992 140358346470181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4452] ppid=4448 vsize=14089220 memory=2726528 CPUtime=7.1 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 877 0 -1 1077944384 8452 0 0 0 696 14 0 0 20 0 15 0 46445629 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358666025872 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4453] ppid=4448 vsize=14089220 memory=1456 CPUtime=7.11 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 877 0 -1 1077944384 7670 0 0 0 699 12 0 0 20 0 15 0 46445629 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358664973072 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4454] ppid=4448 vsize=14089220 memory=1456 CPUtime=7.09 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 877 0 -1 1077944384 8495 0 0 0 696 13 0 0 20 0 15 0 46445629 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358663920784 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4455] ppid=4448 vsize=14089220 memory=8112282956445269571 CPUtime=7.09 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 877 0 -1 1077944384 7817 0 0 0 695 14 0 0 20 0 15 0 46445629 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358662867984 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4456] ppid=4448 vsize=14089220 memory=2200 CPUtime=1.48 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 877 0 -1 1077944384 14787 0 0 0 128 20 0 0 20 0 15 0 46445631 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357939398768 140358735948418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4457] ppid=4448 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 877 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357938344736 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4458] ppid=4448 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 877 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357937292400 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4459] ppid=4448 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357936240720 140358735955867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4460] ppid=4448 vsize=14089220 memory=15576 CPUtime=2.21 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 877 0 -1 1077944384 11307 0 0 0 219 2 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357935188592 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4461] ppid=4448 vsize=14089220 memory=1456 CPUtime=2.09 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 877 0 -1 1077944384 8988 0 0 0 208 1 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357934135792 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4462] ppid=4448 vsize=14089220 memory=1456 CPUtime=0.53 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 877 0 -1 1077944384 8276 0 0 0 52 1 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357933083504 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4463] ppid=4448 vsize=14089220 memory=2689516 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357932030944 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4464] ppid=4448 vsize=14089220 memory=1456 CPUtime=1.11 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 877 0 -1 1077944384 1344 0 0 0 53 58 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357930977712 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2763180 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2373.71 s]
# the end of solver process 4448 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002271 s, system=0 s
[startup+2373.72 s]
# the end of solver process 4450 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2396.36 s, system=3.76107 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+2373.7 s]
/proc/loadavg: 1.87 1.82 1.76 3/217 4789
/proc/meminfo: memFree=20148776/32770624 swapFree=67108860/67108860
[pid=4448] ppid=4445 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4448/stat : 4448 (xcsp3-exec) S 4445 4448 877 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 1 0 46445628 115843072 364 33554432000 4194304 5098028 140732487763872 140732487761976 139817399067260 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 34476032 140732487771195 140732487771396 140732487771396 140732487774154 0
/proc/4448/statm: 28282 364 306 221 0 87 0
[pid=4450] ppid=4448 vsize=14089220 memory=2761724 CPUtime=2400.08 cores=0,2,4,6
/proc/4450/stat : 4450 (java) S 4448 4448 877 0 -1 1077944320 165603 0 0 0 239634 374 0 0 20 0 15 0 46445628 14427361280 690431 33554432000 4194304 4196468 140723774772928 140723774755472 140358735937271 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
/proc/4450/statm: 3522305 690431 3409 1 0 3483520 0
[pid=4450/tid=4451] ppid=4448 vsize=14089220 memory=2726528 CPUtime=2364.17 cores=0,2,4,6
/proc/4450/task/4451/stat : 4451 (java) R 4448 4448 877 0 -1 4202560 87105 0 0 0 236163 254 0 0 20 0 15 0 46445628 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358740176992 140358346470181 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4452] ppid=4448 vsize=14089220 memory=2726528 CPUtime=7.1 cores=0,2,4,6
/proc/4450/task/4452/stat : 4452 (java) S 4448 4448 877 0 -1 1077944384 8452 0 0 0 696 14 0 0 20 0 15 0 46445629 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358666025872 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4453] ppid=4448 vsize=14089220 memory=1456 CPUtime=7.11 cores=0,2,4,6
/proc/4450/task/4453/stat : 4453 (java) S 4448 4448 877 0 -1 1077944384 7670 0 0 0 699 12 0 0 20 0 15 0 46445629 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358664973072 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4454] ppid=4448 vsize=14089220 memory=1456 CPUtime=7.09 cores=0,2,4,6
/proc/4450/task/4454/stat : 4454 (java) S 4448 4448 877 0 -1 1077944384 8495 0 0 0 696 13 0 0 20 0 15 0 46445629 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358663920784 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4455] ppid=4448 vsize=14089220 memory=8112282956445269571 CPUtime=7.09 cores=0,2,4,6
/proc/4450/task/4455/stat : 4455 (java) S 4448 4448 877 0 -1 1077944384 7817 0 0 0 695 14 0 0 20 0 15 0 46445629 14427361280 690431 33554432000 4194304 4196468 140723774772928 140358662867984 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4456] ppid=4448 vsize=14089220 memory=2200 CPUtime=1.48 cores=0,2,4,6
/proc/4450/task/4456/stat : 4456 (java) S 4448 4448 877 0 -1 1077944384 14787 0 0 0 128 20 0 0 20 0 15 0 46445631 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357939398768 140358735948418 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4457] ppid=4448 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4457/stat : 4457 (java) S 4448 4448 877 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357938344736 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4458] ppid=4448 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4458/stat : 4458 (java) S 4448 4448 877 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 46445631 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357937292400 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4459] ppid=4448 vsize=14089220 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4459/stat : 4459 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357936240720 140358735955867 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4460] ppid=4448 vsize=14089220 memory=15576 CPUtime=2.21 cores=0,2,4,6
/proc/4450/task/4460/stat : 4460 (java) S 4448 4448 877 0 -1 1077944384 11307 0 0 0 219 2 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357935188592 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4461] ppid=4448 vsize=14089220 memory=1456 CPUtime=2.09 cores=0,2,4,6
/proc/4450/task/4461/stat : 4461 (java) S 4448 4448 877 0 -1 1077944384 8988 0 0 0 208 1 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357934135792 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4462] ppid=4448 vsize=14089220 memory=1456 CPUtime=0.53 cores=0,2,4,6
/proc/4450/task/4462/stat : 4462 (java) S 4448 4448 877 0 -1 1077944384 8276 0 0 0 52 1 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357933083504 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4463] ppid=4448 vsize=14089220 memory=2689516 CPUtime=0 cores=0,2,4,6
/proc/4450/task/4463/stat : 4463 (java) S 4448 4448 877 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357932030944 140358735947477 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
[pid=4450/tid=4464] ppid=4448 vsize=14089220 memory=1456 CPUtime=1.11 cores=0,2,4,6
/proc/4450/task/4464/stat : 4464 (java) S 4448 4448 877 0 -1 1077944384 1344 0 0 0 53 58 0 0 20 0 15 0 46445634 14427361280 690431 33554432000 4194304 4196468 140723774772928 140357930977712 140358735948418 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16281600 140723774776449 140723774776625 140723774776625 140723774779343 0
Current children cumulated CPU time: 2400.08 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 2763180 KiB
Child status: 143
Real time (s): 2373.72
CPU time (s): 2400.12
CPU user time (s): 2396.36
CPU system time (s): 3.76107
CPU usage (%): 101.112
Max. virtual memory (cumulated for all children) (KiB): 14202348
Max. memory (cumulated for all children) (KiB): 3657584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2396.36
system time used= 3.76107
maximum resident set size= 3656136
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 166386
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 87062
involuntary context switches= 4293
# summary of solver processes directly reported to runsolver:
# pid: 4448,4450
# total CPU time (s): 2400.12
# total CPU user time (s): 2396.36
# total CPU system time (s): 3.76107
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0772 second user time and 23.3152 second system time
The end