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 (8595 MiB free)
memory of node 1: 16384 MiB (11102 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292325-1532283903/watcher-4292325-1532283903 -o /tmp/evaluation-result-4292325-1532283903/solver-4292325-1532283903 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532278959-4650 --watchdog 2560 HOME/xcsp3-exec -seed 375450843 -dir HOME -tl 2400 -ml 11000 -p 1 HOME/instance-4292325-1532283903.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5439, runsolver pid=5436
Current StackSize limit: 8192 KiB
[startup+0.103199 s]*
/proc/loadavg: 1.87 1.84 1.90 3/217 5455
/proc/meminfo: memFree=20155364/32770624 swapFree=67108860/67108860
[pid=5439] ppid=5436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5439/stat : 5439 (xcsp3-exec) S 5436 5439 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 45953495 115843072 364 33554432000 4194304 5098028 140727639672192 140727639670296 139738238079612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23007232 140727639680059 140727639680260 140727639680260 140727639683018 0
/proc/5439/statm: 28282 364 306 221 0 87 0
[pid=5441] ppid=5439 vsize=14082840 memory=26912 CPUtime=0.12 cores=0,2,4,6
/proc/5441/stat : 5441 (java) S 5439 5439 1778 0 -1 1077944320 5574 0 0 0 10 2 0 0 20 0 15 0 45953495 14420828160 6728 33554432000 4194304 4196468 140725005934160 140725005916704 140647862284023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
/proc/5441/statm: 3520710 6728 3031 1 0 3483008 0
[pid=5441/tid=5442] ppid=5439 vsize=14082840 memory=8261188996413231963 CPUtime=0.09 cores=0,2,4,6
/proc/5441/task/5442/stat : 5442 (java) R 5439 5439 1778 0 -1 4202560 3543 0 0 0 8 1 0 0 20 0 15 0 45953495 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647866515712 140647862295958 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5443] ppid=5439 vsize=14082840 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5443/stat : 5443 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953496 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647831997456 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5444] ppid=5439 vsize=14082840 memory=139637140215424 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5444/stat : 5444 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953496 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647457496208 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5445] ppid=5439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5445/stat : 5445 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953496 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647456443152 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5446] ppid=5439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5446/stat : 5446 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953496 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647455390608 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5447] ppid=5439 vsize=14082840 memory=139637140215424 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5447/stat : 5447 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953498 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647043225840 140647862295170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5448] ppid=5439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5448/stat : 5448 (java) S 5439 5439 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45953498 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647042172064 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5449] ppid=5439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5449/stat : 5449 (java) S 5439 5439 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45953498 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647041118960 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5450] ppid=5439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5450/stat : 5450 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647040067536 140647862302619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5451] ppid=5439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5451/stat : 5451 (java) S 5439 5439 1778 0 -1 1077944384 151 0 0 0 0 0 0 0 20 0 15 0 45953501 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647039015664 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5452] ppid=5439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5452/stat : 5452 (java) S 5439 5439 1778 0 -1 1077944384 276 0 0 0 0 0 0 0 20 0 15 0 45953501 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647037963120 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5453] ppid=5439 vsize=14082840 memory=139637140215424 CPUtime=0.01 cores=0,2,4,6
/proc/5441/task/5453/stat : 5453 (java) R 5439 5439 1778 0 -1 4202560 310 0 0 0 1 0 0 0 20 0 15 0 45953501 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647036910064 140647846364510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5454] ppid=5439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5454/stat : 5454 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647035857760 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5455] ppid=5439 vsize=14082840 memory=139637140215424 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5455/stat : 5455 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953501 14420828160 6728 33554432000 4194304 4196468 140725005934160 140647034804784 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 28368 KiB
[startup+0.210659 s]*
/proc/loadavg: 1.87 1.84 1.90 3/217 5455
/proc/meminfo: memFree=20142888/32770624 swapFree=67108860/67108860
[pid=5439] ppid=5436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5439/stat : 5439 (xcsp3-exec) S 5436 5439 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 45953495 115843072 364 33554432000 4194304 5098028 140727639672192 140727639670296 139738238079612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23007232 140727639680059 140727639680260 140727639680260 140727639683018 0
/proc/5439/statm: 28282 364 306 221 0 87 0
[pid=5441] ppid=5439 vsize=14082840 memory=40056 CPUtime=0.34 cores=0,2,4,6
/proc/5441/stat : 5441 (java) S 5439 5439 1778 0 -1 1077944320 8515 0 0 0 31 3 0 0 20 0 15 0 45953495 14420828160 10014 33554432000 4194304 4196468 140725005934160 140725005916704 140647862284023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
/proc/5441/statm: 3520710 10014 3180 1 0 3483008 0
[pid=5441/tid=5442] ppid=5439 vsize=14082840 memory=7883960649037381690 CPUtime=0.19 cores=0,2,4,6
/proc/5441/task/5442/stat : 5442 (java) R 5439 5439 1778 0 -1 4202560 5418 0 0 0 18 1 0 0 20 0 15 0 45953495 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647866521072 140647846364510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5443] ppid=5439 vsize=14082840 memory=11615 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5443/stat : 5443 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953496 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647831997456 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5444] ppid=5439 vsize=14082840 memory=3763231601520531104 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5444/stat : 5444 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953496 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647457496208 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5445] ppid=5439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5445/stat : 5445 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953496 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647456443152 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5446] ppid=5439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5446/stat : 5446 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953496 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647455390608 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5447] ppid=5439 vsize=14082840 memory=139637140215424 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5447/stat : 5447 (java) S 5439 5439 1778 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45953498 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647043225840 140647862295170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5448] ppid=5439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5448/stat : 5448 (java) S 5439 5439 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45953498 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647042172064 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5449] ppid=5439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5449/stat : 5449 (java) S 5439 5439 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45953498 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647041118960 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5450] ppid=5439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5450/stat : 5450 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647040067536 140647862302619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5451] ppid=5439 vsize=14082840 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5441/task/5451/stat : 5451 (java) S 5439 5439 1778 0 -1 1077944384 415 0 0 0 3 0 0 0 20 0 15 0 45953501 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647039015664 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5452] ppid=5439 vsize=14082840 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/5441/task/5452/stat : 5452 (java) S 5439 5439 1778 0 -1 1077944384 444 0 0 0 2 0 0 0 20 0 15 0 45953501 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647037963120 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5453] ppid=5439 vsize=14082840 memory=139637140215424 CPUtime=0.07 cores=0,2,4,6
/proc/5441/task/5453/stat : 5453 (java) S 5439 5439 1778 0 -1 1077944384 939 0 0 0 7 0 0 0 20 0 15 0 45953501 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647036910064 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5454] ppid=5439 vsize=14082840 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5454/stat : 5454 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647035857760 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5455] ppid=5439 vsize=14082840 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5455/stat : 5455 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953501 14420828160 10014 33554432000 4194304 4196468 140725005934160 140647034804784 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14195968 KiB
Current children cumulated memory: 41512 KiB
[startup+0.311467 s]*
/proc/loadavg: 1.87 1.84 1.90 4/217 5455
/proc/meminfo: memFree=20136932/32770624 swapFree=67108860/67108860
[pid=5439] ppid=5436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5439/stat : 5439 (xcsp3-exec) S 5436 5439 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 45953495 115843072 364 33554432000 4194304 5098028 140727639672192 140727639670296 139738238079612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23007232 140727639680059 140727639680260 140727639680260 140727639683018 0
/proc/5439/statm: 28282 364 306 221 0 87 0
[pid=5441] ppid=5439 vsize=14087096 memory=46848 CPUtime=0.51 cores=0,2,4,6
/proc/5441/stat : 5441 (java) S 5439 5439 1778 0 -1 1077944320 9351 0 0 0 48 3 0 0 20 0 15 0 45953495 14425186304 11712 33554432000 4194304 4196468 140725005934160 140725005916704 140647862284023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
/proc/5441/statm: 3521774 11712 3251 1 0 3483008 0
[pid=5441/tid=5442] ppid=5439 vsize=14087096 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/5441/task/5442/stat : 5442 (java) R 5439 5439 1778 0 -1 4202560 6081 0 0 0 27 2 0 0 20 0 15 0 45953495 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647866515136 140647846364510 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5443] ppid=5439 vsize=14087096 memory=4126316290023845779 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5443/stat : 5443 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953496 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647831997456 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5444] ppid=5439 vsize=14087096 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5444/stat : 5444 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953496 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647457496208 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5445] ppid=5439 vsize=14087096 memory=-6935123839545469842 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5445/stat : 5445 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953496 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647456443152 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5446] ppid=5439 vsize=14087096 memory=-6956776531347661416 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5446/stat : 5446 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953496 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647455390608 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5447] ppid=5439 vsize=14087096 memory=4206468019014099040 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5447/stat : 5447 (java) S 5439 5439 1778 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45953498 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647043225840 140647862295170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5448] ppid=5439 vsize=14087096 memory=-9062862659931694204 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5448/stat : 5448 (java) S 5439 5439 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45953498 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647042172064 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5449] ppid=5439 vsize=14087096 memory=3047711566422646390 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5449/stat : 5449 (java) S 5439 5439 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45953498 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647041118960 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5450] ppid=5439 vsize=14087096 memory=8982046290584177472 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5450/stat : 5450 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647040067536 140647862302619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5451] ppid=5439 vsize=14087096 memory=8325818968683490714 CPUtime=0.04 cores=0,2,4,6
/proc/5441/task/5451/stat : 5451 (java) S 5439 5439 1778 0 -1 1077944384 437 0 0 0 4 0 0 0 20 0 15 0 45953501 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647039015664 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5452] ppid=5439 vsize=14087096 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/5441/task/5452/stat : 5452 (java) S 5439 5439 1778 0 -1 1077944384 463 0 0 0 3 0 0 0 20 0 15 0 45953501 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647037963120 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5453] ppid=5439 vsize=14087096 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/5441/task/5453/stat : 5453 (java) S 5439 5439 1778 0 -1 1077944384 1075 0 0 0 12 0 0 0 20 0 15 0 45953501 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647036910064 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5454] ppid=5439 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5454/stat : 5454 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647035857760 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5455] ppid=5439 vsize=14087096 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5455/stat : 5455 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953501 14425186304 11712 33554432000 4194304 4196468 140725005934160 140647034804784 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 14200224 KiB
Current children cumulated memory: 48304 KiB
[startup+0.700847 s]
/proc/loadavg: 1.87 1.84 1.90 6/217 5455
/proc/meminfo: memFree=20121240/32770624 swapFree=67108860/67108860
[pid=5439] ppid=5436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5439/stat : 5439 (xcsp3-exec) S 5436 5439 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 45953495 115843072 364 33554432000 4194304 5098028 140727639672192 140727639670296 139738238079612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23007232 140727639680059 140727639680260 140727639680260 140727639683018 0
/proc/5439/statm: 28282 364 306 221 0 87 0
[pid=5441] ppid=5439 vsize=14089220 memory=77936 CPUtime=1.56 cores=0,2,4,6
/proc/5441/stat : 5441 (java) S 5439 5439 1778 0 -1 1077944320 15732 0 0 0 151 5 0 0 20 0 15 0 45953495 14427361280 19484 33554432000 4194304 4196468 140725005934160 140725005916704 140647862284023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
/proc/5441/statm: 3522305 19484 3339 1 0 3483520 0
[pid=5441/tid=5442] ppid=5439 vsize=14089220 memory=3472328296227679313 CPUtime=0.66 cores=0,2,4,6
/proc/5441/task/5442/stat : 5442 (java) R 5439 5439 1778 0 -1 4202560 6921 0 0 0 64 2 0 0 20 0 15 0 45953495 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647866522608 140647843690322 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5443] ppid=5439 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5443/stat : 5443 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953496 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647831997456 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5444] ppid=5439 vsize=14089220 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5444/stat : 5444 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953496 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647457496208 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5445] ppid=5439 vsize=14089220 memory=15444 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5445/stat : 5445 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953496 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647456443152 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5446] ppid=5439 vsize=14089220 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5446/stat : 5446 (java) S 5439 5439 1778 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 45953496 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647455390608 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5447] ppid=5439 vsize=14089220 memory=2412 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5447/stat : 5447 (java) S 5439 5439 1778 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647043225840 140647862295170 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5448] ppid=5439 vsize=14089220 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5448/stat : 5448 (java) S 5439 5439 1778 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647042172064 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5449] ppid=5439 vsize=14089220 memory=792 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5449/stat : 5449 (java) S 5439 5439 1778 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647041118960 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5450] ppid=5439 vsize=14089220 memory=1960 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5450/stat : 5450 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647040067536 140647862302619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5451] ppid=5439 vsize=14089220 memory=5380 CPUtime=0.28 cores=0,2,4,6
/proc/5441/task/5451/stat : 5451 (java) R 5439 5439 1778 0 -1 4202560 3009 0 0 0 28 0 0 0 20 0 15 0 45953501 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647038996680 140647845815502 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5452] ppid=5439 vsize=14089220 memory=4616 CPUtime=0.28 cores=0,2,4,6
/proc/5441/task/5452/stat : 5452 (java) R 5439 5439 1778 0 -1 4202560 2527 0 0 0 28 0 0 0 20 0 15 0 45953501 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647037944136 140647840301035 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5453] ppid=5439 vsize=14089220 memory=1232 CPUtime=0.3 cores=0,2,4,6
/proc/5441/task/5453/stat : 5453 (java) S 5439 5439 1778 0 -1 1077944384 1967 0 0 0 29 1 0 0 20 0 15 0 45953501 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647036910064 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5454] ppid=5439 vsize=14089220 memory=11964 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5454/stat : 5454 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647035857760 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5455] ppid=5439 vsize=14089220 memory=1708 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5455/stat : 5455 (java) S 5439 5439 1778 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 19484 33554432000 4194304 4196468 140725005934160 140647034804784 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
Current children cumulated CPU time: 1.56 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 79392 KiB
[startup+1.50079 s]
/proc/loadavg: 1.87 1.84 1.90 5/217 5455
/proc/meminfo: memFree=20076532/32770624 swapFree=67108860/67108860
[pid=5439] ppid=5436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5439/stat : 5439 (xcsp3-exec) S 5436 5439 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 45953495 115843072 364 33554432000 4194304 5098028 140727639672192 140727639670296 139738238079612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23007232 140727639680059 140727639680260 140727639680260 140727639683018 0
/proc/5439/statm: 28282 364 306 221 0 87 0
################
# More data... #
################
/proc/5441/task/5449/stat : 5449 (java) S 5439 5439 1778 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 126667 33554432000 4194304 4196468 140725005934160 140647041118960 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5450] ppid=5439 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5450/stat : 5450 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 126667 33554432000 4194304 4196468 140725005934160 140647040067536 140647862302619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5451] ppid=5439 vsize=14089220 memory=1456 CPUtime=2.09 cores=0,2,4,6
/proc/5441/task/5451/stat : 5451 (java) S 5439 5439 1778 0 -1 1077944384 18661 0 0 0 207 2 0 0 20 0 15 0 45953501 14427361280 126667 33554432000 4194304 4196468 140725005934160 140647039015664 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5452] ppid=5439 vsize=14089220 memory=1456 CPUtime=2.13 cores=0,2,4,6
/proc/5441/task/5452/stat : 5452 (java) S 5439 5439 1778 0 -1 1077944384 17179 0 0 0 211 2 0 0 20 0 15 0 45953501 14427361280 126667 33554432000 4194304 4196468 140725005934160 140647037963120 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5453] ppid=5439 vsize=14089220 memory=506668 CPUtime=0.4 cores=0,2,4,6
/proc/5441/task/5453/stat : 5453 (java) S 5439 5439 1778 0 -1 1077944384 5372 0 0 0 39 1 0 0 20 0 15 0 45953501 14427361280 126667 33554432000 4194304 4196468 140725005934160 140647036910064 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5454] ppid=5439 vsize=14089220 memory=164 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5454/stat : 5454 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 126667 33554432000 4194304 4196468 140725005934160 140647035857760 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5455] ppid=5439 vsize=14089220 memory=7595997402105934179 CPUtime=0.71 cores=0,2,4,6
/proc/5441/task/5455/stat : 5455 (java) S 5439 5439 1778 0 -1 1077944384 1549 0 0 0 29 42 0 0 20 0 15 0 45953501 14427361280 126667 33554432000 4194304 4196468 140725005934160 140647034804784 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 22 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
Current children cumulated CPU time: 2329.82 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 508124 KiB
[startup+2382.3 s]
/proc/loadavg: 1.92 1.77 1.77 3/217 5628
/proc/meminfo: memFree=20546564/32770624 swapFree=67108860/67108860
[pid=5439] ppid=5436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5439/stat : 5439 (xcsp3-exec) S 5436 5439 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 45953495 115843072 364 33554432000 4194304 5098028 140727639672192 140727639670296 139738238079612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23007232 140727639680059 140727639680260 140727639680260 140727639683018 0
/proc/5439/statm: 28282 364 306 221 0 87 0
[pid=5441] ppid=5439 vsize=14089220 memory=508716 CPUtime=2389.85 cores=0,2,4,6
/proc/5441/stat : 5441 (java) S 5439 5439 1778 0 -1 1077944320 100598 0 0 0 238915 70 0 0 20 0 15 0 45953495 14427361280 127179 33554432000 4194304 4196468 140725005934160 140725005916704 140647862284023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
/proc/5441/statm: 3522305 127179 3383 1 0 3483520 0
[pid=5441/tid=5442] ppid=5439 vsize=14089220 memory=508716 CPUtime=2380.71 cores=0,2,4,6
/proc/5441/task/5442/stat : 5442 (java) R 5439 5439 1778 0 -1 4202560 35872 0 0 0 238059 12 0 0 20 0 15 0 45953495 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647866523776 140647503548729 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5443] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5443/stat : 5443 (java) S 5439 5439 1778 0 -1 1077944384 3677 0 0 0 68 7 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647831997456 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5444] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5444/stat : 5444 (java) S 5439 5439 1778 0 -1 1077944384 3376 0 0 0 68 7 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647457496208 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5445] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5445/stat : 5445 (java) S 5439 5439 1778 0 -1 1077944384 3892 0 0 0 69 6 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647456443152 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5446] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5446/stat : 5446 (java) S 5439 5439 1778 0 -1 1077944384 4142 0 0 0 69 6 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647455390608 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5447] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.7 cores=0,2,4,6
/proc/5441/task/5447/stat : 5447 (java) S 5439 5439 1778 0 -1 1077944384 5507 0 0 0 64 6 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647043225840 140647862295170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5448] ppid=5439 vsize=14089220 memory=508716 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5448/stat : 5448 (java) S 5439 5439 1778 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647042172064 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5449] ppid=5439 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5449/stat : 5449 (java) S 5439 5439 1778 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647041118960 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5450] ppid=5439 vsize=14089220 memory=508716 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5450/stat : 5450 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647040067536 140647862302619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5451] ppid=5439 vsize=14089220 memory=1456 CPUtime=2.09 cores=0,2,4,6
/proc/5441/task/5451/stat : 5451 (java) S 5439 5439 1778 0 -1 1077944384 18662 0 0 0 207 2 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647039015664 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5452] ppid=5439 vsize=14089220 memory=-7629027055075366336 CPUtime=2.13 cores=0,2,4,6
/proc/5441/task/5452/stat : 5452 (java) S 5439 5439 1778 0 -1 1077944384 17179 0 0 0 211 2 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647037963120 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5453] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.4 cores=0,2,4,6
/proc/5441/task/5453/stat : 5453 (java) S 5439 5439 1778 0 -1 1077944384 5372 0 0 0 39 1 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647036910064 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5454] ppid=5439 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5454/stat : 5454 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647035857760 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5455] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.73 cores=0,2,4,6
/proc/5441/task/5455/stat : 5455 (java) S 5439 5439 1778 0 -1 1077944384 1568 0 0 0 30 43 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647034804784 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
Current children cumulated CPU time: 2389.85 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 510172 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2392.5 s]
/proc/loadavg: 1.86 1.77 1.77 3/217 5628
/proc/meminfo: memFree=20556208/32770624 swapFree=67108860/67108860
[pid=5439] ppid=5436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5439/stat : 5439 (xcsp3-exec) S 5436 5439 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 45953495 115843072 364 33554432000 4194304 5098028 140727639672192 140727639670296 139738238079612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23007232 140727639680059 140727639680260 140727639680260 140727639683018 0
/proc/5439/statm: 28282 364 306 221 0 87 0
[pid=5441] ppid=5439 vsize=14089220 memory=508716 CPUtime=2400.05 cores=0,2,4,6
/proc/5441/stat : 5441 (java) S 5439 5439 1778 0 -1 1077944320 100622 0 0 0 239935 70 0 0 20 0 15 0 45953495 14427361280 127179 33554432000 4194304 4196468 140725005934160 140725005916704 140647862284023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
/proc/5441/statm: 3522305 127179 3383 1 0 3483520 0
[pid=5441/tid=5442] ppid=5439 vsize=14089220 memory=508716 CPUtime=2390.91 cores=0,2,4,6
/proc/5441/task/5442/stat : 5442 (java) R 5439 5439 1778 0 -1 4202560 35883 0 0 0 239079 12 0 0 20 0 15 0 45953495 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647866523776 140647504511341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5443] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5443/stat : 5443 (java) S 5439 5439 1778 0 -1 1077944384 3681 0 0 0 68 7 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647831997456 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5444] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5444/stat : 5444 (java) S 5439 5439 1778 0 -1 1077944384 3381 0 0 0 68 7 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647457496208 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5445] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5445/stat : 5445 (java) S 5439 5439 1778 0 -1 1077944384 3892 0 0 0 69 6 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647456443152 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5446] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5446/stat : 5446 (java) S 5439 5439 1778 0 -1 1077944384 4144 0 0 0 69 6 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647455390608 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5447] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.7 cores=0,2,4,6
/proc/5441/task/5447/stat : 5447 (java) S 5439 5439 1778 0 -1 1077944384 5507 0 0 0 64 6 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647043225840 140647862295170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5448] ppid=5439 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5448/stat : 5448 (java) S 5439 5439 1778 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647042172064 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5449] ppid=5439 vsize=14089220 memory=508716 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5449/stat : 5449 (java) S 5439 5439 1778 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647041118960 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5450] ppid=5439 vsize=14089220 memory=508716 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5450/stat : 5450 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647040067536 140647862302619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5451] ppid=5439 vsize=14089220 memory=1456 CPUtime=2.09 cores=0,2,4,6
/proc/5441/task/5451/stat : 5451 (java) S 5439 5439 1778 0 -1 1077944384 18662 0 0 0 207 2 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647039015664 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5452] ppid=5439 vsize=14089220 memory=508716 CPUtime=2.13 cores=0,2,4,6
/proc/5441/task/5452/stat : 5452 (java) S 5439 5439 1778 0 -1 1077944384 17179 0 0 0 211 2 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647037963120 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5453] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.4 cores=0,2,4,6
/proc/5441/task/5453/stat : 5453 (java) S 5439 5439 1778 0 -1 1077944384 5372 0 0 0 39 1 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647036910064 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5454] ppid=5439 vsize=14089220 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5454/stat : 5454 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647035857760 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5455] ppid=5439 vsize=14089220 memory=960 CPUtime=0.74 cores=0,2,4,6
/proc/5441/task/5455/stat : 5455 (java) S 5439 5439 1778 0 -1 1077944384 1570 0 0 0 30 44 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647034804784 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 510172 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2392.51 s]
# the end of solver process 5439 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.002368 s, system=0 s
[startup+2392.51 s]
# the end of solver process 5441 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.37 s, system=0.71036 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+2392.5 s]
/proc/loadavg: 1.86 1.77 1.77 3/217 5628
/proc/meminfo: memFree=20556208/32770624 swapFree=67108860/67108860
[pid=5439] ppid=5436 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5439/stat : 5439 (xcsp3-exec) S 5436 5439 1778 0 -1 4202496 535 0 0 0 0 0 0 0 20 0 1 0 45953495 115843072 364 33554432000 4194304 5098028 140727639672192 140727639670296 139738238079612 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 23007232 140727639680059 140727639680260 140727639680260 140727639683018 0
/proc/5439/statm: 28282 364 306 221 0 87 0
[pid=5441] ppid=5439 vsize=14089220 memory=508716 CPUtime=2400.05 cores=0,2,4,6
/proc/5441/stat : 5441 (java) S 5439 5439 1778 0 -1 1077944320 100622 0 0 0 239935 70 0 0 20 0 15 0 45953495 14427361280 127179 33554432000 4194304 4196468 140725005934160 140725005916704 140647862284023 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
/proc/5441/statm: 3522305 127179 3383 1 0 3483520 0
[pid=5441/tid=5442] ppid=5439 vsize=14089220 memory=508716 CPUtime=2390.91 cores=0,2,4,6
/proc/5441/task/5442/stat : 5442 (java) R 5439 5439 1778 0 -1 4202560 35883 0 0 0 239079 12 0 0 20 0 15 0 45953495 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647866523776 140647504511341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5443] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5443/stat : 5443 (java) S 5439 5439 1778 0 -1 1077944384 3681 0 0 0 68 7 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647831997456 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5444] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5444/stat : 5444 (java) S 5439 5439 1778 0 -1 1077944384 3381 0 0 0 68 7 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647457496208 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5445] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5445/stat : 5445 (java) S 5439 5439 1778 0 -1 1077944384 3892 0 0 0 69 6 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647456443152 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5446] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.75 cores=0,2,4,6
/proc/5441/task/5446/stat : 5446 (java) S 5439 5439 1778 0 -1 1077944384 4144 0 0 0 69 6 0 0 20 0 15 0 45953496 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647455390608 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5447] ppid=5439 vsize=14089220 memory=508716 CPUtime=0.7 cores=0,2,4,6
/proc/5441/task/5447/stat : 5447 (java) S 5439 5439 1778 0 -1 1077944384 5507 0 0 0 64 6 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647043225840 140647862295170 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5448] ppid=5439 vsize=14089220 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5448/stat : 5448 (java) S 5439 5439 1778 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647042172064 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5449] ppid=5439 vsize=14089220 memory=508716 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5449/stat : 5449 (java) S 5439 5439 1778 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 15 0 45953498 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647041118960 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5450] ppid=5439 vsize=14089220 memory=508716 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5450/stat : 5450 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647040067536 140647862302619 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5451] ppid=5439 vsize=14089220 memory=1456 CPUtime=2.09 cores=0,2,4,6
/proc/5441/task/5451/stat : 5451 (java) S 5439 5439 1778 0 -1 1077944384 18662 0 0 0 207 2 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647039015664 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5452] ppid=5439 vsize=14089220 memory=508716 CPUtime=2.13 cores=0,2,4,6
/proc/5441/task/5452/stat : 5452 (java) S 5439 5439 1778 0 -1 1077944384 17179 0 0 0 211 2 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647037963120 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5453] ppid=5439 vsize=14089220 memory=1456 CPUtime=0.4 cores=0,2,4,6
/proc/5441/task/5453/stat : 5453 (java) S 5439 5439 1778 0 -1 1077944384 5372 0 0 0 39 1 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647036910064 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5454] ppid=5439 vsize=14089220 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/5441/task/5454/stat : 5454 (java) S 5439 5439 1778 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647035857760 140647862294229 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
[pid=5441/tid=5455] ppid=5439 vsize=14089220 memory=960 CPUtime=0.74 cores=0,2,4,6
/proc/5441/task/5455/stat : 5455 (java) S 5439 5439 1778 0 -1 1077944384 1570 0 0 0 30 44 0 0 20 0 15 0 45953501 14427361280 127179 33554432000 4194304 4196468 140725005934160 140647034804784 140647862295170 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 29814784 140725005935745 140725005935921 140725005935921 140725005938639 0
Current children cumulated CPU time: 2400.05 s
Current children cumulated vsize: 14202348 KiB
Current children cumulated memory: 510172 KiB
Child status: 143
Real time (s): 2392.51
CPU time (s): 2400.08
CPU user time (s): 2399.37
CPU system time (s): 0.71036
CPU usage (%): 100.316
Max. virtual memory (cumulated for all children) (KiB): 14206500
Max. memory (cumulated for all children) (KiB): 510172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.37
system time used= 0.71036
maximum resident set size= 509296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 101432
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71804
involuntary context switches= 2455
# summary of solver processes directly reported to runsolver:
# pid: 5439,5441
# total CPU time (s): 2400.08
# total CPU user time (s): 2399.37
# total CPU system time (s): 0.71036
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.316 second user time and 24.2602 second system time
The end