2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
choco-solver 4.0.5 par (2017-08-09)	SAT	77.682999	13.1427
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 (11612 MiB free)
  memory of node 1: 16384 MiB (14879 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4271302-1502751458/watcher-4271302-1502751458 -o /tmp/evaluation-result-4271302-1502751458/solver-4271302-1502751458 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1502750590-3336 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 728850405 HOME/instance-4271302-1502751458.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=3560, runsolver pid=3557

[startup+0.100155 s]*
/proc/loadavg: 7.28 8.07 8.18 2/201 3581
/proc/meminfo: memFree=27112044/32770624 swapFree=67108860/67108860
[pid=3560] ppid=3557 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3309 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108226912 9740288 346 33554432000 4194304 5098028 140729346065808 140729346063912 140222828626556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8232960 140729346073701 140729346073911 140729346073911 140729346076651 0
/proc/3560/statm: 2378 346 289 221 0 87 0
[pid=3562] ppid=3560 vsize=25999808 memory=26532 CPUtime=0.12 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3309 0 -1 1077944320 5474 0 0 0 11 1 0 0 20 0 20 0 108226912 26623803392 6633 33554432000 4194304 4196468 140732977290576 140732977273120 139936706346743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
/proc/3562/statm: 6499952 6633 2874 1 0 6488269 0
[pid=3562/tid=3563] ppid=3560 vsize=25999808 memory=4134692831991783777 CPUtime=0.08 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) R 3560 3560 3309 0 -1 4202560 3493 0 0 0 8 0 0 0 20 0 20 0 108226912 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936710579008 139936690427230 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3564] ppid=3560 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226913 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936613907344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3565] ppid=3560 vsize=25999808 memory=140582119253632 CPUtime=0 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936612854544 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3566] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936262360208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3567] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108226913 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936261307408 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3568] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936260254096 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3569] ppid=3560 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936259201296 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3570] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226913 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936258149008 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3571] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26623803392 6633 33554432000 4194304 4196468 140732977290576 139936257096208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3572] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226914 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935112907376 139936706357890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3573] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108226915 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935111853344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3574] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108226915 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935110801008 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3575] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226918 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935109749328 139936706365339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3576] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3309 0 -1 1077944384 417 0 0 0 0 0 0 0 20 0 20 0 108226918 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935108696176 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3577] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108226918 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935107643376 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3578] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108226918 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935106591088 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3579] ppid=3560 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) R 3560 3560 3309 0 -1 4202560 253 0 0 0 1 0 0 0 20 0 20 0 108226918 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935105538288 139936706368090 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3580] ppid=3560 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108226918 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935104486240 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3581] ppid=3560 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226918 26623803392 6633 33554432000 4194304 4196468 140732977290576 139935103433520 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27916 KiB

[startup+0.210076 s]*
/proc/loadavg: 7.28 8.07 8.18 2/201 3581
/proc/meminfo: memFree=27100044/32770624 swapFree=67108860/67108860
[pid=3560] ppid=3557 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3309 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108226912 9740288 346 33554432000 4194304 5098028 140729346065808 140729346063912 140222828626556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8232960 140729346073701 140729346073911 140729346073911 140729346076651 0
/proc/3560/statm: 2378 346 289 221 0 87 0
[pid=3562] ppid=3560 vsize=26004064 memory=38612 CPUtime=0.33 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3309 0 -1 1077944320 8306 0 0 0 31 2 0 0 20 0 20 0 108226912 26628161536 9653 33554432000 4194304 4196468 140732977290576 140732977273120 139936706346743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
/proc/3562/statm: 6501016 9653 3034 1 0 6488269 0
[pid=3562/tid=3563] ppid=3560 vsize=26004064 memory=8318255677412212789 CPUtime=0.19 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) D 3560 3560 3309 0 -1 1077944384 5432 0 0 0 18 1 0 0 20 0 20 0 108226912 26628161536 9673 33554432000 4194304 4196468 140732977290576 139936710548464 139936699025965 0 4 0 16800975 18446744072101654052 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3564] ppid=3560 vsize=26004064 memory=342 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 9673 33554432000 4194304 4196468 140732977290576 139936613907344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3565] ppid=3560 vsize=26004096 memory=140582119258161 CPUtime=0 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628194304 9673 33554432000 4194304 4196468 140732977290576 139936612854544 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3566] ppid=3560 vsize=26004096 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628194304 9673 33554432000 4194304 4196468 140732977290576 139936262360208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3567] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 9673 33554432000 4194304 4196468 140732977290576 139936261307408 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3568] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 9673 33554432000 4194304 4196468 140732977290576 139936260254096 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3569] ppid=3560 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 9673 33554432000 4194304 4196468 140732977290576 139936259201296 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3570] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 9673 33554432000 4194304 4196468 140732977290576 139936258149008 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3571] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 9673 33554432000 4194304 4196468 140732977290576 139936257096208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3572] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226914 26628161536 9673 33554432000 4194304 4196468 140732977290576 139935112907376 139936706357890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3573] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108226915 26628161536 9673 33554432000 4194304 4196468 140732977290576 139935111853344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3574] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108226915 26628161536 9673 33554432000 4194304 4196468 140732977290576 139935110801008 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3575] ppid=3560 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226918 26628194304 9673 33554432000 4194304 4196468 140732977290576 139935109749328 139936706365339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3576] ppid=3560 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3309 0 -1 1077944384 511 0 0 0 1 0 0 0 20 0 20 0 108226918 26628194304 9673 33554432000 4194304 4196468 140732977290576 139935108696176 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3577] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3309 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 108226918 26628161536 9673 33554432000 4194304 4196468 140732977290576 139935107643376 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3578] ppid=3560 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3309 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 108226918 26628161536 9673 33554432000 4194304 4196468 140732977290576 139935106591088 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3579] ppid=3560 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) R 3560 3560 3309 0 -1 4202560 767 0 0 0 7 0 0 0 20 0 20 0 108226918 26628161536 9673 33554432000 4194304 4196468 140732977290576 139935105538288 139936685331560 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3580] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108226918 26628161536 9673 33554432000 4194304 4196468 140732977290576 139935104486240 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3581] ppid=3560 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226918 26628161536 9673 33554432000 4194304 4196468 140732977290576 139935103433520 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 39996 KiB

[startup+0.309732 s]*
/proc/loadavg: 7.28 8.07 8.18 3/201 3581
/proc/meminfo: memFree=27095160/32770624 swapFree=67108860/67108860
[pid=3560] ppid=3557 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3309 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108226912 9740288 346 33554432000 4194304 5098028 140729346065808 140729346063912 140222828626556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8232960 140729346073701 140729346073911 140729346073911 140729346076651 0
/proc/3560/statm: 2378 346 289 221 0 87 0
[pid=3562] ppid=3560 vsize=26004064 memory=46092 CPUtime=0.49 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3309 0 -1 1077944320 9210 0 0 0 47 2 0 0 20 0 20 0 108226912 26628161536 11523 33554432000 4194304 4196468 140732977290576 140732977273120 139936706346743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
/proc/3562/statm: 6501016 11523 3116 1 0 6488269 0
[pid=3562/tid=3563] ppid=3560 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) R 3560 3560 3309 0 -1 4202560 6077 0 0 0 28 1 0 0 20 0 20 0 108226912 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936710584448 139936706358678 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3564] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936613907344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3565] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936612854544 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3566] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936262360208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3567] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936261307408 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3568] ppid=3560 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936260254096 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3569] ppid=3560 vsize=26004064 memory=140581997212591 CPUtime=0 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936259201296 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3570] ppid=3560 vsize=26004064 memory=140581997214896 CPUtime=0 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936258149008 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3571] ppid=3560 vsize=26004064 memory=140581997217200 CPUtime=0 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26628161536 11523 33554432000 4194304 4196468 140732977290576 139936257096208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3572] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226914 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935112907376 139936706357890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3573] ppid=3560 vsize=26004064 memory=281163994441360 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3309 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 108226915 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935111853344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3574] ppid=3560 vsize=26004064 memory=281163994448272 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3309 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 108226915 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935110801008 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3575] ppid=3560 vsize=26004064 memory=281163994389552 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226918 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935109749328 139936706365339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3576] ppid=3560 vsize=26004064 memory=281163994462096 CPUtime=0.02 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3309 0 -1 1077944384 560 0 0 0 2 0 0 0 20 0 20 0 108226918 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935108696176 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3577] ppid=3560 vsize=26004064 memory=281163994469008 CPUtime=0.01 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3309 0 -1 1077944384 96 0 0 0 1 0 0 0 20 0 20 0 108226918 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935107643376 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3578] ppid=3560 vsize=26004064 memory=281163994466704 CPUtime=0.02 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3309 0 -1 1077944384 271 0 0 0 2 0 0 0 20 0 20 0 108226918 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935106591088 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3579] ppid=3560 vsize=26004064 memory=281163994482864 CPUtime=0.12 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) R 3560 3560 3309 0 -1 4202560 898 0 0 0 12 0 0 0 20 0 20 0 108226918 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935105534656 139936699446590 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3580] ppid=3560 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 108226918 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935104486240 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3581] ppid=3560 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226918 26628161536 11523 33554432000 4194304 4196468 140732977290576 139935103433520 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47476 KiB

[startup+0.700917 s]
/proc/loadavg: 7.28 8.07 8.18 3/201 3581
/proc/meminfo: memFree=27077108/32770624 swapFree=67108860/67108860
[pid=3560] ppid=3557 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3309 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108226912 9740288 346 33554432000 4194304 5098028 140729346065808 140729346063912 140222828626556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8232960 140729346073701 140729346073911 140729346073911 140729346076651 0
/proc/3560/statm: 2378 346 289 221 0 87 0
[pid=3562] ppid=3560 vsize=26006188 memory=81648 CPUtime=1.43 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3309 0 -1 1077944320 12004 0 0 0 139 4 0 0 20 0 20 0 108226912 26630336512 20412 33554432000 4194304 4196468 140732977290576 140732977273120 139936706346743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
/proc/3562/statm: 6501547 20412 3194 1 0 6488781 0
[pid=3562/tid=3563] ppid=3560 vsize=26006188 memory=281163994840752 CPUtime=0.67 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) R 3560 3560 3309 0 -1 4202560 6556 0 0 0 65 2 0 0 20 0 20 0 108226912 26630336512 20412 33554432000 4194304 4196468 140732977290576 139936710582144 139936296280724 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3564] ppid=3560 vsize=26006188 memory=140581997421424 CPUtime=0 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 108226913 26630336512 20412 33554432000 4194304 4196468 140732977290576 139936613907344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3565] ppid=3560 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26630336512 20412 33554432000 4194304 4196468 140732977290576 139936612854544 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3566] ppid=3560 vsize=26006188 memory=1716 CPUtime=0 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3309 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 108226913 26630336512 20412 33554432000 4194304 4196468 140732977290576 139936262360208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0

################
# More data... #
################

[pid=3562/tid=3571] ppid=3560 vsize=26538700 memory=0 CPUtime=1.9 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3309 0 -1 1077944384 2394 0 0 0 141 49 0 0 20 0 28 0 108226913 27175628800 507803 33554432000 4194304 4196468 140732977290576 139936257096208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3572] ppid=3560 vsize=26538700 memory=8242270391371327591 CPUtime=0.05 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3309 0 -1 1077944384 4818 0 0 0 4 1 0 0 20 0 28 0 108226914 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935112907376 139936706357890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3573] ppid=3560 vsize=26538700 memory=7305215077083801970 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3309 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 108226915 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935111853408 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3574] ppid=3560 vsize=26538700 memory=1224 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3309 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 108226915 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935110801024 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3575] ppid=3560 vsize=26538700 memory=1716 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108226918 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935109749328 139936706365339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3576] ppid=3560 vsize=26538700 memory=10596 CPUtime=1.41 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) R 3560 3560 3309 0 -1 4202560 6410 0 0 0 139 2 0 0 20 0 28 0 108226918 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935108681088 139936687872032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3577] ppid=3560 vsize=26538700 memory=1200 CPUtime=1.47 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3309 0 -1 1077944384 6776 0 0 0 146 1 0 0 20 0 28 0 108226918 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935107643376 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3578] ppid=3560 vsize=26538700 memory=15872 CPUtime=1.52 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3309 0 -1 1077944384 7912 0 0 0 151 1 0 0 20 0 28 0 108226918 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935106591088 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3579] ppid=3560 vsize=26538700 memory=4044 CPUtime=0.54 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) S 3560 3560 3309 0 -1 1077944384 2797 0 0 0 53 1 0 0 20 0 28 0 108226918 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935105538288 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3580] ppid=3560 vsize=26538700 memory=16444 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108226918 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935104486240 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3581] ppid=3560 vsize=26538700 memory=55 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3309 0 -1 1077944384 963 0 0 0 0 0 0 0 20 0 28 0 108226918 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935103433520 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3582] ppid=3560 vsize=26538700 memory=4639939496134862184 CPUtime=6.67 cores=0-7
/proc/3562/task/3582/stat : 3582 (java) S 3560 3560 3309 0 -1 1077944384 685 0 0 0 662 5 0 0 20 0 28 0 108227461 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935095427376 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3583] ppid=3560 vsize=26538700 memory=4639939496134862184 CPUtime=6.65 cores=0-7
/proc/3562/task/3583/stat : 3583 (java) S 3560 3560 3309 0 -1 1077944384 11185 0 0 0 661 4 0 0 20 0 28 0 108227461 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935094375888 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3584] ppid=3560 vsize=26538700 memory=7380385388137112419 CPUtime=6.62 cores=0-7
/proc/3562/task/3584/stat : 3584 (java) S 3560 3560 3309 0 -1 1077944384 325 0 0 0 659 3 0 0 20 0 28 0 108227461 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935093322576 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3585] ppid=3560 vsize=26538700 memory=7380385388137112419 CPUtime=6.84 cores=0-7
/proc/3562/task/3585/stat : 3585 (java) R 3560 3560 3309 0 -1 4202560 2087 0 0 0 682 2 0 0 20 0 28 0 108227462 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935092264072 139936299201353 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3586] ppid=3560 vsize=26538700 memory=6944656592455359580 CPUtime=6.7 cores=0-7
/proc/3562/task/3586/stat : 3586 (java) S 3560 3560 3309 0 -1 1077944384 1457 0 0 0 668 2 0 0 20 0 28 0 108227462 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935091217488 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3587] ppid=3560 vsize=26538700 memory=7380385388137112419 CPUtime=6.61 cores=0-7
/proc/3562/task/3587/stat : 3587 (java) S 3560 3560 3309 0 -1 1077944384 377 0 0 0 659 2 0 0 20 0 28 0 108227462 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935090164688 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3588] ppid=3560 vsize=26538700 memory=4639939496134862184 CPUtime=6.74 cores=0-7
/proc/3562/task/3588/stat : 3588 (java) S 3560 3560 3309 0 -1 1077944384 449 0 0 0 671 3 0 0 20 0 28 0 108227462 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935089112400 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3589] ppid=3560 vsize=26538700 memory=-6517951668857918878 CPUtime=6.61 cores=0-7
/proc/3562/task/3589/stat : 3589 (java) S 3560 3560 3309 0 -1 1077944384 1608 0 0 0 656 5 0 0 20 0 28 0 108227462 27175628800 507803 33554432000 4194304 4196468 140732977290576 139935088059600 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
Current children cumulated CPU time: 77.26 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2032596 KiB

[startup+13.0011 s]*
/proc/loadavg: 6.84 7.92 8.13 2/209 3589
/proc/meminfo: memFree=25106576/32770624 swapFree=67108860/67108860
[pid=3560] ppid=3557 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3309 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108226912 9740288 346 33554432000 4194304 5098028 140729346065808 140729346063912 140222828626556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8232960 140729346073701 140729346073911 140729346073911 140729346076651 0
/proc/3560/statm: 2378 346 289 221 0 87 0
[pid=3562] ppid=3560 vsize=26538700 memory=2031252 CPUtime=77.5 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3309 0 -1 1077944320 76346 0 0 0 7312 438 0 0 20 0 28 0 108226912 27175628800 507813 33554432000 4194304 4196468 140732977290576 140732977273120 139936706346743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
/proc/3562/statm: 6634675 507813 3279 1 0 6621909 0
[pid=3562/tid=3563] ppid=3560 vsize=26538700 memory=0 CPUtime=3.54 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) S 3560 3560 3309 0 -1 1077944384 8467 0 0 0 348 6 0 0 20 0 28 0 108226912 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936710587520 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3564] ppid=3560 vsize=26538700 memory=0 CPUtime=1.9 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3309 0 -1 1077944384 2320 0 0 0 140 50 0 0 20 0 28 0 108226913 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936613907344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3565] ppid=3560 vsize=26538700 memory=0 CPUtime=1.89 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3309 0 -1 1077944384 2221 0 0 0 140 49 0 0 20 0 28 0 108226913 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936612854544 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3566] ppid=3560 vsize=26538700 memory=4126316290023845779 CPUtime=1.87 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3309 0 -1 1077944384 2321 0 0 0 139 48 0 0 20 0 28 0 108226913 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936262360208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3567] ppid=3560 vsize=26538700 memory=1156 CPUtime=1.86 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3309 0 -1 1077944384 2640 0 0 0 138 48 0 0 20 0 28 0 108226913 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936261307408 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3568] ppid=3560 vsize=26538700 memory=2716 CPUtime=1.9 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3309 0 -1 1077944384 2288 0 0 0 142 48 0 0 20 0 28 0 108226913 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936260254096 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3569] ppid=3560 vsize=26538700 memory=1384 CPUtime=1.88 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3309 0 -1 1077944384 2173 0 0 0 139 49 0 0 20 0 28 0 108226913 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936259201296 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3570] ppid=3560 vsize=26538700 memory=1620852 CPUtime=1.88 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3309 0 -1 1077944384 2303 0 0 0 139 49 0 0 20 0 28 0 108226913 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936258149008 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3571] ppid=3560 vsize=26538700 memory=8112282956445269571 CPUtime=1.9 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3309 0 -1 1077944384 2394 0 0 0 141 49 0 0 20 0 28 0 108226913 27175628800 507813 33554432000 4194304 4196468 140732977290576 139936257096208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3572] ppid=3560 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) S 3560 3560 3309 0 -1 1077944384 4818 0 0 0 4 1 0 0 20 0 28 0 108226914 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935112907376 139936706357890 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 12 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3573] ppid=3560 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3309 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 108226915 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935111853408 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3574] ppid=3560 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3309 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 108226915 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935110801024 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3575] ppid=3560 vsize=26538700 memory=8833 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 108226918 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935109749328 139936706365339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3576] ppid=3560 vsize=26538700 memory=4420 CPUtime=1.44 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3309 0 -1 1077944384 6424 0 0 0 142 2 0 0 20 0 28 0 108226918 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935108696176 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3577] ppid=3560 vsize=26538700 memory=6628 CPUtime=1.47 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) S 3560 3560 3309 0 -1 1077944384 6776 0 0 0 146 1 0 0 20 0 28 0 108226918 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935107643376 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3578] ppid=3560 vsize=26538700 memory=8836 CPUtime=1.52 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3309 0 -1 1077944384 7912 0 0 0 151 1 0 0 20 0 28 0 108226918 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935106591088 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3579] ppid=3560 vsize=26538700 memory=8112282956445269571 CPUtime=0.54 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) S 3560 3560 3309 0 -1 1077944384 2797 0 0 0 53 1 0 0 20 0 28 0 108226918 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935105538288 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3580] ppid=3560 vsize=26538700 memory=2241 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 108226918 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935104486240 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3581] ppid=3560 vsize=26538700 memory=2244 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3309 0 -1 1077944384 963 0 0 0 0 0 0 0 20 0 28 0 108226918 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935103433520 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3582] ppid=3560 vsize=26538700 memory=0 CPUtime=6.67 cores=0-7
/proc/3562/task/3582/stat : 3582 (java) S 3560 3560 3309 0 -1 1077944384 685 0 0 0 662 5 0 0 20 0 28 0 108227461 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935095427376 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3583] ppid=3560 vsize=26538700 memory=0 CPUtime=6.65 cores=0-7
/proc/3562/task/3583/stat : 3583 (java) S 3560 3560 3309 0 -1 1077944384 11185 0 0 0 661 4 0 0 20 0 28 0 108227461 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935094375888 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3584] ppid=3560 vsize=26538700 memory=0 CPUtime=6.62 cores=0-7
/proc/3562/task/3584/stat : 3584 (java) S 3560 3560 3309 0 -1 1077944384 325 0 0 0 659 3 0 0 20 0 28 0 108227461 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935093322576 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3585] ppid=3560 vsize=26538700 memory=0 CPUtime=7.05 cores=0-7
/proc/3562/task/3585/stat : 3585 (java) R 3560 3560 3309 0 -1 4202560 2087 0 0 0 703 2 0 0 20 0 28 0 108227462 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935092264072 139936299201270 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3586] ppid=3560 vsize=26538700 memory=0 CPUtime=6.7 cores=0-7
/proc/3562/task/3586/stat : 3586 (java) S 3560 3560 3309 0 -1 1077944384 1457 0 0 0 668 2 0 0 20 0 28 0 108227462 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935091217488 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3587] ppid=3560 vsize=26538700 memory=2610 CPUtime=6.61 cores=0-7
/proc/3562/task/3587/stat : 3587 (java) S 3560 3560 3309 0 -1 1077944384 377 0 0 0 659 2 0 0 20 0 28 0 108227462 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935090164688 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3588] ppid=3560 vsize=26538700 memory=0 CPUtime=6.74 cores=0-7
/proc/3562/task/3588/stat : 3588 (java) S 3560 3560 3309 0 -1 1077944384 449 0 0 0 671 3 0 0 20 0 28 0 108227462 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935089112400 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3589] ppid=3560 vsize=26538700 memory=0 CPUtime=6.61 cores=0-7
/proc/3562/task/3589/stat : 3589 (java) S 3560 3560 3309 0 -1 1077944384 1608 0 0 0 656 5 0 0 20 0 28 0 108227462 27175628800 507813 33554432000 4194304 4196468 140732977290576 139935088059600 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
Current children cumulated CPU time: 77.5 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2032636 KiB

[startup+13.1102 s]
/proc/loadavg: 6.84 7.92 8.13 2/209 3589
/proc/meminfo: memFree=25106576/32770624 swapFree=67108860/67108860
[pid=3560] ppid=3557 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/3560/stat : 3560 (xcsp3-exec) S 3557 3560 3309 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 108226912 9740288 346 33554432000 4194304 5098028 140729346065808 140729346063912 140222828626556 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 8232960 140729346073701 140729346073911 140729346073911 140729346076651 0
/proc/3560/statm: 2378 346 289 221 0 87 0
[pid=3562] ppid=3560 vsize=26538700 memory=2031196 CPUtime=77.64 cores=0-7
/proc/3562/stat : 3562 (java) S 3560 3560 3309 0 -1 1077944320 76482 0 0 0 7326 438 0 0 20 0 26 0 108226912 27175628800 507798 33554432000 4194304 4196468 140732977290576 140732977273120 139936706346743 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
/proc/3562/statm: 6634675 507798 3281 1 0 6621909 0
[pid=3562/tid=3563] ppid=3560 vsize=26538700 memory=1384 CPUtime=3.54 cores=0-7
/proc/3562/task/3563/stat : 3563 (java) S 3560 3560 3309 0 -1 1077944384 8525 0 0 0 348 6 0 0 20 0 25 0 108226912 27175628800 507782 33554432000 4194304 4196468 140732977290576 139936710584528 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3564] ppid=3560 vsize=26538700 memory=2031252 CPUtime=1.9 cores=0-7
/proc/3562/task/3564/stat : 3564 (java) S 3560 3560 3309 0 -1 1077944384 2320 0 0 0 140 50 0 0 20 0 25 0 108226913 27175628800 507782 33554432000 4194304 4196468 140732977290576 139936613907344 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3565] ppid=3560 vsize=26538700 memory=0 CPUtime=1.89 cores=0-7
/proc/3562/task/3565/stat : 3565 (java) S 3560 3560 3309 0 -1 1077944384 2221 0 0 0 140 49 0 0 20 0 25 0 108226913 27175628800 507760 33554432000 4194304 4196468 140732977290576 139936612854544 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3566] ppid=3560 vsize=26538700 memory=30 CPUtime=1.87 cores=0-7
/proc/3562/task/3566/stat : 3566 (java) S 3560 3560 3309 0 -1 1077944384 2321 0 0 0 139 48 0 0 20 0 24 0 108226913 27175628800 507760 33554432000 4194304 4196468 140732977290576 139936262360208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3567] ppid=3560 vsize=26538700 memory=4140 CPUtime=1.86 cores=0-7
/proc/3562/task/3567/stat : 3567 (java) S 3560 3560 3309 0 -1 1077944384 2640 0 0 0 138 48 0 0 20 0 24 0 108226913 27175628800 507742 33554432000 4194304 4196468 140732977290576 139936261307408 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3568] ppid=3560 vsize=26538700 memory=281163995103312 CPUtime=1.9 cores=0-7
/proc/3562/task/3568/stat : 3568 (java) S 3560 3560 3309 0 -1 1077944384 2288 0 0 0 142 48 0 0 20 0 23 0 108226913 27175628800 507742 33554432000 4194304 4196468 140732977290576 139936260254096 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3569] ppid=3560 vsize=26538700 memory=-6860787125238664386 CPUtime=1.88 cores=0-7
/proc/3562/task/3569/stat : 3569 (java) S 3560 3560 3309 0 -1 1077944384 2173 0 0 0 139 49 0 0 20 0 23 0 108226913 27175628800 507742 33554432000 4194304 4196468 140732977290576 139936259201296 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3570] ppid=3560 vsize=26538700 memory=0 CPUtime=1.88 cores=0-7
/proc/3562/task/3570/stat : 3570 (java) S 3560 3560 3309 0 -1 1077944384 2303 0 0 0 139 49 0 0 20 0 23 0 108226913 27175628800 507742 33554432000 4194304 4196468 140732977290576 139936258149008 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3571] ppid=3560 vsize=26538700 memory=288230574492221466 CPUtime=1.9 cores=0-7
/proc/3562/task/3571/stat : 3571 (java) S 3560 3560 3309 0 -1 1077944384 2394 0 0 0 141 49 0 0 20 0 23 0 108226913 27175628800 507742 33554432000 4194304 4196468 140732977290576 139936257096208 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3572] ppid=3560 vsize=26538700 memory=0 CPUtime=0.05 cores=0-7
/proc/3562/task/3572/stat : 3572 (java) R 3560 3560 3309 0 -1 1077944384 4823 0 0 0 4 1 0 0 20 0 23 0 108226914 27175628800 507742 33554432000 4194304 4196468 140732977290576 139935112907296 139936706356949 0 0 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3573] ppid=3560 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3573/stat : 3573 (java) S 3560 3560 3309 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 23 0 108226915 27175628800 507742 33554432000 4194304 4196468 140732977290576 139935111853408 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3574] ppid=3560 vsize=26538700 memory=0 CPUtime=0 cores=0-7
/proc/3562/task/3574/stat : 3574 (java) S 3560 3560 3309 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 23 0 108226915 27175628800 507742 33554432000 4194304 4196468 140732977290576 139935110801024 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3575] ppid=3560 vsize=26538700 memory=1384 CPUtime=0 cores=0-7
/proc/3562/task/3575/stat : 3575 (java) S 3560 3560 3309 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 23 0 108226918 27175628800 507742 33554432000 4194304 4196468 140732977290576 139935109749328 139936706365339 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3576] ppid=3560 vsize=26538700 memory=1616032 CPUtime=1.44 cores=0-7
/proc/3562/task/3576/stat : 3576 (java) S 3560 3560 3309 0 -1 1077944384 6425 0 0 0 142 2 0 0 20 0 23 0 108226918 27175628800 507724 33554432000 4194304 4196468 140732977290576 139935108696176 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3577] ppid=3560 vsize=26538700 memory=0 CPUtime=1.49 cores=0-7
/proc/3562/task/3577/stat : 3577 (java) R 3560 3560 3309 0 -1 4202560 6776 0 0 0 148 1 0 0 20 0 22 0 108226918 27175628800 507724 33554432000 4194304 4196468 140732977290576 139935107643376 139936689843531 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3578] ppid=3560 vsize=26538700 memory=0 CPUtime=1.52 cores=0-7
/proc/3562/task/3578/stat : 3578 (java) S 3560 3560 3309 0 -1 1077944384 7912 0 0 0 151 1 0 0 20 0 21 0 108226918 27175628800 507703 33554432000 4194304 4196468 140732977290576 139935106591088 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3579] ppid=3560 vsize=26538700 memory=0 CPUtime=0.54 cores=0-7
/proc/3562/task/3579/stat : 3579 (java) R 3560 3560 3309 0 -1 4202560 2800 0 0 0 53 1 0 0 20 0 21 0 108226918 27175628800 507704 33554432000 4194304 4196468 140732977290576 139935105532816 139936690591264 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3580] ppid=3560 vsize=26538700 memory=4140 CPUtime=0 cores=0-7
/proc/3562/task/3580/stat : 3580 (java) S 3560 3560 3309 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 21 0 108226918 27175628800 507683 33554432000 4194304 4196468 140732977290576 139935104486240 139936706356949 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
[pid=3562/tid=3581] ppid=3560 vsize=26538700 memory=31116 CPUtime=0 cores=0-7
/proc/3562/task/3581/stat : 3581 (java) S 3560 3560 3309 0 -1 1077944384 963 0 0 0 0 0 0 0 20 0 20 0 108226918 27175628800 507683 33554432000 4194304 4196468 140732977290576 139935103433520 139936706357890 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 7090176 140732977296530 140732977296707 140732977296707 140732977299407 0
Current children cumulated CPU time: 77.64 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 2032580 KiB

Child status: 0
Real time (s): 13.1427
CPU time (s): 77.683
CPU user time (s): 73.2734
CPU system time (s): 4.40957
CPU usage (%): 591.073
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 2032636

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 73.2734
system time used= 4.40957
maximum resident set size= 2031340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77153
page faults= 0
swaps= 0
block input operations= 0
block output operations= 120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5367
involuntary context switches= 1210


# summary of solver processes directly reported to runsolver:
#   pid: 3560
#   total CPU time (s): 77.683
#   total CPU user time (s): 73.2734
#   total CPU system time (s): 4.40957

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.132347 second user time and 0.179992 second system time

The end
Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective
Trace number 4271302

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
