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 (14939 MiB free)
memory of node 1: 16384 MiB (15517 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281781-1503140929/watcher-4281781-1503140929 -o /tmp/evaluation-result-4281781-1503140929/solver-4281781-1503140929 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node131-1503095854-18172 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1715120692 HOME/instance-4281781-1503140929.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=27471, runsolver pid=27468
[startup+0.100153 s]*
/proc/loadavg: 1.64 1.72 1.75 3/206 27481
/proc/meminfo: memFree=31179232/32770624 swapFree=67108860/67108860
[pid=27471] ppid=27468 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27471/stat : 27471 (xcsp3-exec) S 27468 27471 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12499958 9740288 345 18446744073709551615 4194304 5098028 140727800799120 140727800797224 139868414911100 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 38158336 140727800807801 140727800808006 140727800808006 140727800811499 0
/proc/27471/statm: 2378 345 289 221 0 87 0
[pid=27473] ppid=27471 vsize=13574484 memory=19760 CPUtime=0.03 cores=1,3,5,7
/proc/27473/stat : 27473 (java) S 27471 27471 18108 0 -1 1077944320 4321 0 0 0 3 0 0 0 20 0 9 0 12499964 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140734346966624 140582673780471 0 0 1 16800970 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
/proc/27473/statm: 3393621 4940 2133 1 0 3383118 0
[pid=27473/tid=27474] ppid=27471 vsize=13574484 memory=-8713483618642983523 CPUtime=0.03 cores=1,3,5,7
/proc/27473/task/27474/stat : 27474 (java) R 27471 27471 18108 0 -1 4202560 3022 0 0 0 3 0 0 0 20 0 9 0 12499964 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140582678015864 140582673802397 0 4 1 16800970 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27475] ppid=27471 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27475/stat : 27475 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 12499965 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140582608215056 140582673790677 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27476] ppid=27471 vsize=13574484 memory=140010135623296 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27476/stat : 27476 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 12499965 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140582607162512 140582673790677 0 4 1 16800970 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27477] ppid=27471 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27477/stat : 27477 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 12499965 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140582606109456 140582673790677 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27478] ppid=27471 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27478/stat : 27478 (java) S 27471 27471 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 12499965 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140582605056912 140582673790677 0 4 1 16800970 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27479] ppid=27471 vsize=13574484 memory=140010135623296 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27479/stat : 27479 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 12499966 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140581791574256 140582673791618 0 0 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27480] ppid=27471 vsize=13574484 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (java) S 27471 27471 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 12499967 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140581790520480 140582673790677 0 4 1 16800970 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27481] ppid=27471 vsize=13574484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27481/stat : 27481 (java) S 27471 27471 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 12499967 13900271616 4940 18446744073709551615 4194304 4196468 140734346984080 140581789467376 140582673790677 0 4 1 16800970 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 21140 KiB
[startup+0.21006 s]*
/proc/loadavg: 1.64 1.72 1.75 5/212 27487
/proc/meminfo: memFree=31170388/32770624 swapFree=67108860/67108860
[pid=27471] ppid=27468 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27471/stat : 27471 (xcsp3-exec) S 27468 27471 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12499958 9740288 345 18446744073709551615 4194304 5098028 140727800799120 140727800797224 139868414911100 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 38158336 140727800807801 140727800808006 140727800808006 140727800811499 0
/proc/27471/statm: 2378 345 289 221 0 87 0
[pid=27473] ppid=27471 vsize=13974352 memory=29276 CPUtime=0.15 cores=1,3,5,7
/proc/27473/stat : 27473 (java) S 27471 27471 18108 0 -1 1077944320 5767 0 0 0 14 1 0 0 20 0 15 0 12499964 14309736448 7319 18446744073709551615 4194304 4196468 140734346984080 140734346966624 140582673780471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
/proc/27473/statm: 3493588 7319 2950 1 0 3482964 0
[pid=27473/tid=27474] ppid=27471 vsize=13974352 memory=-6871798056524144002 CPUtime=0.1 cores=1,3,5,7
/proc/27473/task/27474/stat : 27474 (java) R 27471 27471 18108 0 -1 4202560 3541 0 0 0 9 1 0 0 20 0 15 0 12499964 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140582678009688 140582666017598 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27475] ppid=27471 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27475/stat : 27475 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140582608215056 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27476] ppid=27471 vsize=13974352 memory=140010135623296 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27476/stat : 27476 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140582607162512 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27477] ppid=27471 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27477/stat : 27477 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140582606109456 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27478] ppid=27471 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27478/stat : 27478 (java) S 27471 27471 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12499965 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140582605056912 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27479] ppid=27471 vsize=13974352 memory=140010135623296 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27479/stat : 27479 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499966 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581791574256 140582673791618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27480] ppid=27471 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (java) S 27471 27471 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12499967 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581790520480 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27481] ppid=27471 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27481/stat : 27481 (java) S 27471 27471 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12499967 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581789467376 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27482] ppid=27471 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27482/stat : 27482 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499969 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581788415952 140582673799067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27483] ppid=27471 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27483/stat : 27483 (java) S 27471 27471 18108 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 12499969 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581787364080 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27484] ppid=27471 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27484/stat : 27484 (java) R 27471 27471 18108 0 -1 4202560 245 0 0 0 0 0 0 0 20 0 15 0 12499970 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581786297336 140582666069853 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27485] ppid=27471 vsize=13974352 memory=140010135623296 CPUtime=0.02 cores=1,3,5,7
/proc/27473/task/27485/stat : 27485 (java) R 27471 27471 18108 0 -1 4202560 401 0 0 0 2 0 0 0 20 0 15 0 12499970 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581785254392 140582673792406 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27486] ppid=27471 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27486/stat : 27486 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499970 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581784206176 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27487] ppid=27471 vsize=13974352 memory=140010135623296 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27487/stat : 27487 (java) S 27471 27471 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12499974 14309736448 7385 18446744073709551615 4194304 4196468 140734346984080 140581783153200 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 30656 KiB
[startup+0.310543 s]*
/proc/loadavg: 1.64 1.72 1.75 4/212 27487
/proc/meminfo: memFree=31157892/32770624 swapFree=67108860/67108860
[pid=27471] ppid=27468 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27471/stat : 27471 (xcsp3-exec) S 27468 27471 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12499958 9740288 345 18446744073709551615 4194304 5098028 140727800799120 140727800797224 139868414911100 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 38158336 140727800807801 140727800808006 140727800808006 140727800811499 0
/proc/27471/statm: 2378 345 289 221 0 87 0
[pid=27473] ppid=27471 vsize=13978608 memory=40488 CPUtime=0.35 cores=1,3,5,7
/proc/27473/stat : 27473 (java) S 27471 27471 18108 0 -1 1077944320 9314 0 0 0 32 3 0 0 20 0 15 0 12499964 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140734346966624 140582673780471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
/proc/27473/statm: 3494652 10122 3057 1 0 3482964 0
[pid=27473/tid=27474] ppid=27471 vsize=13978608 memory=-8774313645642428999 CPUtime=0.2 cores=1,3,5,7
/proc/27473/task/27474/stat : 27474 (java) R 27471 27471 18108 0 -1 4202560 6419 0 0 0 18 2 0 0 20 0 15 0 12499964 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140582677993824 140582673802397 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27475] ppid=27471 vsize=13978608 memory=-8815662549083463029 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27475/stat : 27475 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140582608215056 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27476] ppid=27471 vsize=13978608 memory=-8181448818703048053 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27476/stat : 27476 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140582607162512 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27477] ppid=27471 vsize=13978608 memory=4132769004644038186 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27477/stat : 27477 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140582606109456 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27478] ppid=27471 vsize=13978608 memory=-8774313645642428999 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27478/stat : 27478 (java) S 27471 27471 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12499965 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140582605056912 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27479] ppid=27471 vsize=13978608 memory=140010135633889 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27479/stat : 27479 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499966 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581791574256 140582673791618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27480] ppid=27471 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (java) S 27471 27471 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12499967 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581790520480 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27481] ppid=27471 vsize=13978608 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27481/stat : 27481 (java) S 27471 27471 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12499967 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581789467376 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27482] ppid=27471 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27482/stat : 27482 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499969 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581788415952 140582673799067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27483] ppid=27471 vsize=13978608 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/27473/task/27483/stat : 27483 (java) S 27471 27471 18108 0 -1 1077944384 317 0 0 0 1 0 0 0 20 0 15 0 12499969 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581787364080 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27484] ppid=27471 vsize=13978608 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/27473/task/27484/stat : 27484 (java) S 27471 27471 18108 0 -1 1077944384 538 0 0 0 3 0 0 0 20 0 15 0 12499970 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581786311536 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27485] ppid=27471 vsize=13978608 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/27473/task/27485/stat : 27485 (java) R 27471 27471 18108 0 -1 4202560 734 0 0 0 8 0 0 0 20 0 15 0 12499970 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581785258480 140582666017598 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27486] ppid=27471 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27486/stat : 27486 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499970 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581784206176 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27487] ppid=27471 vsize=13978608 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27487/stat : 27487 (java) S 27471 27471 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12499974 14314094592 10122 18446744073709551615 4194304 4196468 140734346984080 140581783153200 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 13988120 KiB
Current children cumulated memory: 41868 KiB
[startup+0.703499 s]
/proc/loadavg: 1.59 1.71 1.75 5/212 27487
/proc/meminfo: memFree=31145204/32770624 swapFree=67108860/67108860
[pid=27471] ppid=27468 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27471/stat : 27471 (xcsp3-exec) S 27468 27471 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12499958 9740288 345 18446744073709551615 4194304 5098028 140727800799120 140727800797224 139868414911100 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 38158336 140727800807801 140727800808006 140727800808006 140727800811499 0
/proc/27471/statm: 2378 345 289 221 0 87 0
[pid=27473] ppid=27471 vsize=13980732 memory=82904 CPUtime=1.42 cores=1,3,5,7
/proc/27473/stat : 27473 (java) S 27471 27471 18108 0 -1 1077944320 14805 0 0 0 137 5 0 0 20 0 15 0 12499964 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140734346966624 140582673780471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
/proc/27473/statm: 3495183 20726 3178 1 0 3483476 0
[pid=27473/tid=27474] ppid=27471 vsize=13980732 memory=7165352523810945333 CPUtime=0.58 cores=1,3,5,7
/proc/27473/task/27474/stat : 27474 (java) R 27471 27471 18108 0 -1 4202560 8487 0 0 0 54 4 0 0 20 0 15 0 12499964 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140582678019072 140582282648608 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27475] ppid=27471 vsize=13980732 memory=5787776866926477409 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27475/stat : 27475 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140582608215056 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27476] ppid=27471 vsize=13980732 memory=5865491479076426066 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27476/stat : 27476 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140582607162512 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27477] ppid=27471 vsize=13980732 memory=-7812477184710932156 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27477/stat : 27477 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140582606109456 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27478] ppid=27471 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27478/stat : 27478 (java) S 27471 27471 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12499965 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140582605056912 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27479] ppid=27471 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27479/stat : 27479 (java) S 27471 27471 18108 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 12499966 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581791574256 140582673791618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27480] ppid=27471 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (java) S 27471 27471 18108 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581790520480 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27481] ppid=27471 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27481/stat : 27481 (java) S 27471 27471 18108 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581789467376 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27482] ppid=27471 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27482/stat : 27482 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499969 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581788415952 140582673799067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27483] ppid=27471 vsize=13980732 memory=140010028278384 CPUtime=0.25 cores=1,3,5,7
/proc/27473/task/27483/stat : 27483 (java) R 27471 27471 18108 0 -1 4202560 1888 0 0 0 25 0 0 0 20 0 15 0 12499969 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581787348744 140582658897645 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27484] ppid=27471 vsize=13980732 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/27473/task/27484/stat : 27484 (java) R 27471 27471 18108 0 -1 4202560 1453 0 0 0 27 0 0 0 20 0 15 0 12499970 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581786287136 140582653473575 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27485] ppid=27471 vsize=13980732 memory=0 CPUtime=0.31 cores=1,3,5,7
/proc/27473/task/27485/stat : 27485 (java) S 27471 27471 18108 0 -1 1077944384 1668 0 0 0 31 0 0 0 20 0 15 0 12499970 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581785258480 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27486] ppid=27471 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27486/stat : 27486 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499970 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581784206176 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27487] ppid=27471 vsize=13980732 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27487/stat : 27487 (java) S 27471 27471 18108 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 12499974 14316269568 20726 18446744073709551615 4194304 4196468 140734346984080 140581783153200 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
Current children cumulated CPU time: 1.42 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 84284 KiB
[startup+1.50083 s]
/proc/loadavg: 1.59 1.71 1.75 4/212 27487
/proc/meminfo: memFree=31106432/32770624 swapFree=67108860/67108860
[pid=27471] ppid=27468 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27471/stat : 27471 (xcsp3-exec) S 27468 27471 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12499958 9740288 345 18446744073709551615 4194304 5098028 140727800799120 140727800797224 139868414911100 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 38158336 140727800807801 140727800808006 140727800808006 140727800811499 0
/proc/27471/statm: 2378 345 289 221 0 87 0
[pid=27473] ppid=27471 vsize=13980732 memory=112816 CPUtime=2.84 cores=1,3,5,7
/proc/27473/stat : 27473 (java) S 27471 27471 18108 0 -1 1077944320 17339 0 0 0 278 6 0 0 20 0 15 0 12499964 14316269568 28204 18446744073709551615 4194304 4196468 140734346984080 140734346966624 140582673780471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
/proc/27473/statm: 3495183 28204 3189 1 0 3483476 0
[pid=27473/tid=27474] ppid=27471 vsize=13980732 memory=25959 CPUtime=1.37 cores=1,3,5,7
/proc/27473/task/27474/stat : 27474 (java) R 27471 27471 18108 0 -1 4202560 8812 0 0 0 133 4 0 0 20 0 15 0 12499964 14316269568 28204 18446744073709551615 4194304 4196468 140734346984080 140582678019600 140582659165847 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27475] ppid=27471 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27475/stat : 27475 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14316269568 28204 18446744073709551615 4194304 4196468 140734346984080 140582608215056 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27476] ppid=27471 vsize=13980732 memory=-3253322038155611931 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27476/stat : 27476 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14316269568 28204 18446744073709551615 4194304 4196468 140734346984080 140582607162512 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27477] ppid=27471 vsize=13980732 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27477/stat : 27477 (java) S 27471 27471 18108 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 12499965 14316269568 28204 18446744073709551615 4194304 4196468 140734346984080 140582606109456 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27478] ppid=27471 vsize=13980732 memory=140010028269977 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[pid=27473/tid=27479] ppid=27471 vsize=13980732 memory=1380 CPUtime=0.55 cores=1,3,5,7
/proc/27473/task/27479/stat : 27479 (java) S 27471 27471 18108 0 -1 1077944384 4774 0 0 0 51 4 0 0 20 0 15 0 12499966 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581791574256 140582673791618 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27480] ppid=27471 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (java) S 27471 27471 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581790520480 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27481] ppid=27471 vsize=13980732 memory=4128 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27481/stat : 27481 (java) S 27471 27471 18108 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581789467376 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27482] ppid=27471 vsize=13980732 memory=10944 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27482/stat : 27482 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499969 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581788415952 140582673799067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27483] ppid=27471 vsize=13980732 memory=1380 CPUtime=1.52 cores=1,3,5,7
/proc/27473/task/27483/stat : 27483 (java) S 27471 27471 18108 0 -1 1077944384 14653 0 0 0 151 1 0 0 20 0 15 0 12499969 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581787364080 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27484] ppid=27471 vsize=13980732 memory=192256 CPUtime=1.39 cores=1,3,5,7
/proc/27473/task/27484/stat : 27484 (java) S 27471 27471 18108 0 -1 1077944384 10224 0 0 0 138 1 0 0 20 0 15 0 12499970 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581786311536 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27485] ppid=27471 vsize=13980732 memory=192256 CPUtime=0.51 cores=1,3,5,7
/proc/27473/task/27485/stat : 27485 (java) S 27471 27471 18108 0 -1 1077944384 8050 0 0 0 50 1 0 0 20 0 15 0 12499970 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581785258480 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27486] ppid=27471 vsize=13980732 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27486/stat : 27486 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499970 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581784206176 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27487] ppid=27471 vsize=13980732 memory=-8774313645642428999 CPUtime=0.53 cores=1,3,5,7
/proc/27473/task/27487/stat : 27487 (java) S 27471 27471 18108 0 -1 1077944384 854 0 0 0 21 32 0 0 20 0 15 0 12499974 14316269568 48064 18446744073709551615 4194304 4196468 140734346984080 140581783153200 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
Current children cumulated CPU time: 2447.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 193636 KiB
[startup+2502.3 s]
/proc/loadavg: 1.34 1.39 1.51 3/211 27734
/proc/meminfo: memFree=31326408/32770624 swapFree=67108860/67108860
[pid=27471] ppid=27468 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27471/stat : 27471 (xcsp3-exec) S 27468 27471 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12499958 9740288 345 18446744073709551615 4194304 5098028 140727800799120 140727800797224 139868414911100 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 38158336 140727800807801 140727800808006 140727800808006 140727800811499 0
/proc/27471/statm: 2378 345 289 221 0 87 0
[pid=27473] ppid=27471 vsize=13980732 memory=194332 CPUtime=2507.89 cores=1,3,5,7
/proc/27473/stat : 27473 (java) S 27471 27471 18108 0 -1 1077944320 75972 0 0 0 250729 60 0 0 20 0 15 0 12499964 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140734346966624 140582673780471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
/proc/27473/statm: 3495183 48583 3233 1 0 3483476 0
[pid=27473/tid=27474] ppid=27471 vsize=13980732 memory=194332 CPUtime=2500.49 cores=1,3,5,7
/proc/27473/task/27474/stat : 27474 (java) R 27471 27471 18108 0 -1 4202560 22058 0 0 0 250041 8 0 0 20 0 15 0 12499964 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582678019904 140582286298251 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27475] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.69 cores=1,3,5,7
/proc/27473/task/27475/stat : 27475 (java) S 27471 27471 18108 0 -1 1077944384 4405 0 0 0 63 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582608215056 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27476] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.69 cores=1,3,5,7
/proc/27473/task/27476/stat : 27476 (java) S 27471 27471 18108 0 -1 1077944384 3877 0 0 0 63 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582607162512 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27477] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.7 cores=1,3,5,7
/proc/27473/task/27477/stat : 27477 (java) S 27471 27471 18108 0 -1 1077944384 2738 0 0 0 63 7 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582606109456 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27478] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.7 cores=1,3,5,7
/proc/27473/task/27478/stat : 27478 (java) S 27471 27471 18108 0 -1 1077944384 2784 0 0 0 64 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582605056912 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27479] ppid=27471 vsize=13980732 memory=1380 CPUtime=0.57 cores=1,3,5,7
/proc/27473/task/27479/stat : 27479 (java) S 27471 27471 18108 0 -1 1077944384 4948 0 0 0 53 4 0 0 20 0 15 0 12499966 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581791574256 140582673791618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27480] ppid=27471 vsize=13980732 memory=194332 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (java) S 27471 27471 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581790520480 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27481] ppid=27471 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27481/stat : 27481 (java) S 27471 27471 18108 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581789467376 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27482] ppid=27471 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27482/stat : 27482 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499969 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581788415952 140582673799067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27483] ppid=27471 vsize=13980732 memory=194332 CPUtime=1.52 cores=1,3,5,7
/proc/27473/task/27483/stat : 27483 (java) S 27471 27471 18108 0 -1 1077944384 14655 0 0 0 151 1 0 0 20 0 15 0 12499969 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581787364080 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27484] ppid=27471 vsize=13980732 memory=2436 CPUtime=1.39 cores=1,3,5,7
/proc/27473/task/27484/stat : 27484 (java) S 27471 27471 18108 0 -1 1077944384 10226 0 0 0 138 1 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581786311536 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27485] ppid=27471 vsize=13980732 memory=1732 CPUtime=0.51 cores=1,3,5,7
/proc/27473/task/27485/stat : 27485 (java) S 27471 27471 18108 0 -1 1077944384 8052 0 0 0 50 1 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581785258480 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27486] ppid=27471 vsize=13980732 memory=194332 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27486/stat : 27486 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581784206176 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27487] ppid=27471 vsize=13980732 memory=4128 CPUtime=0.55 cores=1,3,5,7
/proc/27473/task/27487/stat : 27487 (java) S 27471 27471 18108 0 -1 1077944384 873 0 0 0 22 33 0 0 20 0 15 0 12499974 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581783153200 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
Current children cumulated CPU time: 2507.89 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 195712 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2514.5 s]
/proc/loadavg: 1.36 1.39 1.51 3/211 27735
/proc/meminfo: memFree=31326416/32770624 swapFree=67108860/67108860
[pid=27471] ppid=27468 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27471/stat : 27471 (xcsp3-exec) S 27468 27471 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12499958 9740288 345 18446744073709551615 4194304 5098028 140727800799120 140727800797224 139868414911100 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 38158336 140727800807801 140727800808006 140727800808006 140727800811499 0
/proc/27471/statm: 2378 345 289 221 0 87 0
[pid=27473] ppid=27471 vsize=13980732 memory=194332 CPUtime=2520.09 cores=1,3,5,7
/proc/27473/stat : 27473 (java) S 27471 27471 18108 0 -1 1077944320 76007 0 0 0 251949 60 0 0 20 0 15 0 12499964 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140734346966624 140582673780471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
/proc/27473/statm: 3495183 48583 3233 1 0 3483476 0
[pid=27473/tid=27474] ppid=27471 vsize=13980732 memory=1380 CPUtime=2512.69 cores=1,3,5,7
/proc/27473/task/27474/stat : 27474 (java) R 27471 27471 18108 0 -1 4202560 22087 0 0 0 251261 8 0 0 20 0 15 0 12499964 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582678020080 140582286715191 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27475] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.69 cores=1,3,5,7
/proc/27473/task/27475/stat : 27475 (java) S 27471 27471 18108 0 -1 1077944384 4407 0 0 0 63 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582608215056 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27476] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.7 cores=1,3,5,7
/proc/27473/task/27476/stat : 27476 (java) S 27471 27471 18108 0 -1 1077944384 3877 0 0 0 64 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582607162512 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27477] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.7 cores=1,3,5,7
/proc/27473/task/27477/stat : 27477 (java) S 27471 27471 18108 0 -1 1077944384 2738 0 0 0 63 7 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582606109456 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27478] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.7 cores=1,3,5,7
/proc/27473/task/27478/stat : 27478 (java) S 27471 27471 18108 0 -1 1077944384 2784 0 0 0 64 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582605056912 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27479] ppid=27471 vsize=13980732 memory=1380 CPUtime=0.57 cores=1,3,5,7
/proc/27473/task/27479/stat : 27479 (java) S 27471 27471 18108 0 -1 1077944384 4950 0 0 0 53 4 0 0 20 0 15 0 12499966 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581791574256 140582673791618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27480] ppid=27471 vsize=13980732 memory=194332 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (java) S 27471 27471 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581790520480 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27481] ppid=27471 vsize=13980732 memory=194332 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27481/stat : 27481 (java) S 27471 27471 18108 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581789467376 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27482] ppid=27471 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27482/stat : 27482 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499969 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581788415952 140582673799067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27483] ppid=27471 vsize=13980732 memory=4068 CPUtime=1.52 cores=1,3,5,7
/proc/27473/task/27483/stat : 27483 (java) S 27471 27471 18108 0 -1 1077944384 14655 0 0 0 151 1 0 0 20 0 15 0 12499969 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581787364080 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27484] ppid=27471 vsize=13980732 memory=280020057509968 CPUtime=1.39 cores=1,3,5,7
/proc/27473/task/27484/stat : 27484 (java) S 27471 27471 18108 0 -1 1077944384 10226 0 0 0 138 1 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581786311536 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27485] ppid=27471 vsize=13980732 memory=3760962573923489976 CPUtime=0.51 cores=1,3,5,7
/proc/27473/task/27485/stat : 27485 (java) S 27471 27471 18108 0 -1 1077944384 8052 0 0 0 50 1 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581785258480 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27486] ppid=27471 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27486/stat : 27486 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581784206176 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27487] ppid=27471 vsize=13980732 memory=792 CPUtime=0.55 cores=1,3,5,7
/proc/27473/task/27487/stat : 27487 (java) S 27471 27471 18108 0 -1 1077944384 875 0 0 0 22 33 0 0 20 0 15 0 12499974 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581783153200 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 195712 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2514.51 s]
# the end of solver process 27471 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.5 s, system=0.611127 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2514.5 s]
/proc/loadavg: 1.36 1.39 1.51 3/211 27735
/proc/meminfo: memFree=31326416/32770624 swapFree=67108860/67108860
[pid=27471] ppid=27468 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/27471/stat : 27471 (xcsp3-exec) S 27468 27471 18108 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 12499958 9740288 345 18446744073709551615 4194304 5098028 140727800799120 140727800797224 139868414911100 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 5 0 0 7196144 7232144 38158336 140727800807801 140727800808006 140727800808006 140727800811499 0
/proc/27471/statm: 2378 345 289 221 0 87 0
[pid=27473] ppid=27471 vsize=13980732 memory=194332 CPUtime=2520.09 cores=1,3,5,7
/proc/27473/stat : 27473 (java) S 27471 27471 18108 0 -1 1077944320 76007 0 0 0 251949 60 0 0 20 0 15 0 12499964 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140734346966624 140582673780471 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
/proc/27473/statm: 3495183 48583 3233 1 0 3483476 0
[pid=27473/tid=27474] ppid=27471 vsize=13980732 memory=1380 CPUtime=2512.69 cores=1,3,5,7
/proc/27473/task/27474/stat : 27474 (java) R 27471 27471 18108 0 -1 4202560 22087 0 0 0 251261 8 0 0 20 0 15 0 12499964 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582678020080 140582286715191 0 4 1 16800974 0 0 0 -1 1 0 0 3 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27475] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.69 cores=1,3,5,7
/proc/27473/task/27475/stat : 27475 (java) S 27471 27471 18108 0 -1 1077944384 4407 0 0 0 63 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582608215056 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27476] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.7 cores=1,3,5,7
/proc/27473/task/27476/stat : 27476 (java) S 27471 27471 18108 0 -1 1077944384 3877 0 0 0 64 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582607162512 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27477] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.7 cores=1,3,5,7
/proc/27473/task/27477/stat : 27477 (java) S 27471 27471 18108 0 -1 1077944384 2738 0 0 0 63 7 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582606109456 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27478] ppid=27471 vsize=13980732 memory=194332 CPUtime=0.7 cores=1,3,5,7
/proc/27473/task/27478/stat : 27478 (java) S 27471 27471 18108 0 -1 1077944384 2784 0 0 0 64 6 0 0 20 0 15 0 12499965 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140582605056912 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27479] ppid=27471 vsize=13980732 memory=1380 CPUtime=0.57 cores=1,3,5,7
/proc/27473/task/27479/stat : 27479 (java) S 27471 27471 18108 0 -1 1077944384 4950 0 0 0 53 4 0 0 20 0 15 0 12499966 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581791574256 140582673791618 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27480] ppid=27471 vsize=13980732 memory=194332 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27480/stat : 27480 (java) S 27471 27471 18108 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581790520480 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27481] ppid=27471 vsize=13980732 memory=194332 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27481/stat : 27481 (java) S 27471 27471 18108 0 -1 1077944384 52 0 0 0 0 0 0 0 20 0 15 0 12499967 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581789467376 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27482] ppid=27471 vsize=13980732 memory=2760 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27482/stat : 27482 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499969 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581788415952 140582673799067 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27483] ppid=27471 vsize=13980732 memory=4068 CPUtime=1.52 cores=1,3,5,7
/proc/27473/task/27483/stat : 27483 (java) S 27471 27471 18108 0 -1 1077944384 14655 0 0 0 151 1 0 0 20 0 15 0 12499969 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581787364080 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27484] ppid=27471 vsize=13980732 memory=280020057509968 CPUtime=1.39 cores=1,3,5,7
/proc/27473/task/27484/stat : 27484 (java) S 27471 27471 18108 0 -1 1077944384 10226 0 0 0 138 1 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581786311536 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27485] ppid=27471 vsize=13980732 memory=3760962573923489976 CPUtime=0.51 cores=1,3,5,7
/proc/27473/task/27485/stat : 27485 (java) S 27471 27471 18108 0 -1 1077944384 8052 0 0 0 50 1 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581785258480 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27486] ppid=27471 vsize=13980732 memory=1228 CPUtime=0 cores=1,3,5,7
/proc/27473/task/27486/stat : 27486 (java) S 27471 27471 18108 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 12499970 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581784206176 140582673790677 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
[pid=27473/tid=27487] ppid=27471 vsize=13980732 memory=792 CPUtime=0.55 cores=1,3,5,7
/proc/27473/task/27487/stat : 27487 (java) S 27471 27471 18108 0 -1 1077944384 875 0 0 0 22 33 0 0 20 0 15 0 12499974 14316269568 48583 18446744073709551615 4194304 4196468 140734346984080 140581783153200 140582673791618 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 19009536 140734346985906 140734346986082 140734346986082 140734346989519 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 195712 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2514.51
CPU time (s): 2520.11
CPU user time (s): 2519.5
CPU system time (s): 0.611127
CPU usage (%): 100.223
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 213952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.5
system time used= 0.611127
maximum resident set size= 218384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76849
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2888
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 71358
involuntary context switches= 1707
# summary of solver processes directly reported to runsolver:
# pid: 27471
# total CPU time (s): 2520.11
# total CPU user time (s): 2519.5
# total CPU system time (s): 0.611127
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.7116 second user time and 23.7765 second system time
The end