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 (14937 MiB free)
memory of node 1: 16384 MiB (15532 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400387-1568675227/watcher-4400387-1568675227 -o /tmp/evaluation-result-4400387-1568675227/solver-4400387-1568675227 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 580007786 HOME/instance-4400387-1568675227.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2466, runsolver pid=2463
[startup+0.100079 s]*
/proc/loadavg: 8.58 8.73 7.82 7/232 2482
/proc/meminfo: memFree=31184768/32770624 swapFree=66997368/67108860
[pid=2466] ppid=2463 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2466/stat : 2466 (xcsp3-exec) S 2463 2466 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443775736 115843072 363 33554432000 4194304 5098028 140725385181024 140725385179128 139841478144636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18284544 140725385188219 140725385188461 140725385188461 140725385191370 0
/proc/2466/statm: 28282 363 304 221 0 87 0
[pid=2468] ppid=2466 vsize=15144776 memory=30244 CPUtime=0.13 cores=1,3,5,7
/proc/2468/stat : 2468 (java) S 2466 2466 32513 0 -1 1077944320 5413 0 0 0 12 1 0 0 20 0 15 0 443775736 15508250624 7561 33554432000 4194304 4196468 140721674848640 140721674831184 139717057908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
/proc/2468/statm: 3786194 7561 3172 1 0 3748377 0
[pid=2468/tid=2469] ppid=2466 vsize=15144776 memory=7031125463459224206 CPUtime=0.09 cores=1,3,5,7
/proc/2468/task/2469/stat : 2469 (java) R 2466 2466 32513 0 -1 4202560 3351 0 0 0 9 0 0 0 20 0 15 0 443775737 15508250624 7561 33554432000 4194304 4196468 140721674848640 139717062147712 139717050145598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2470] ppid=2466 vsize=15144776 memory=7378697629483820645 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2470/stat : 2470 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716969564816 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2471] ppid=2466 vsize=15144776 memory=139845992003200 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2471/stat : 2471 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716968512016 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2472] ppid=2466 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2472/stat : 2472 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716967459216 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2473] ppid=2466 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2473/stat : 2473 (java) S 2466 2466 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443775737 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716966406416 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2474] ppid=2466 vsize=15144776 memory=139845992003200 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2474/stat : 2474 (java) S 2466 2466 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443775739 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716526611312 139717057919618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2475] ppid=2466 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2475/stat : 2475 (java) S 2466 2466 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443775739 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716525557280 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2476] ppid=2466 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2476/stat : 2476 (java) S 2466 2466 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443775739 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716524504432 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2477] ppid=2466 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2477/stat : 2477 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443775742 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716523452752 139717057927067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2478] ppid=2466 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2478/stat : 2478 (java) R 2466 2466 32513 0 -1 1077944384 403 0 0 0 0 0 0 0 20 0 15 0 443775742 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716522400112 139717057919618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2479] ppid=2466 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2479/stat : 2479 (java) S 2466 2466 32513 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 443775742 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716521347312 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2480] ppid=2466 vsize=15144776 memory=139845992003200 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2480/stat : 2480 (java) R 2466 2466 32513 0 -1 4202560 340 0 0 0 2 0 0 0 20 0 15 0 443775742 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716520294512 139717036675959 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2481] ppid=2466 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2481/stat : 2481 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443775742 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716519241952 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2482] ppid=2466 vsize=15144776 memory=139845992003200 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2482/stat : 2482 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775742 15508250624 7561 33554432000 4194304 4196468 140721674848640 139716518190256 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 31696 KiB
[startup+0.21066 s]*
/proc/loadavg: 8.58 8.73 7.82 6/232 2482
/proc/meminfo: memFree=31171400/32770624 swapFree=66997368/67108860
[pid=2466] ppid=2463 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2466/stat : 2466 (xcsp3-exec) S 2463 2466 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443775736 115843072 363 33554432000 4194304 5098028 140725385181024 140725385179128 139841478144636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18284544 140725385188219 140725385188461 140725385188461 140725385191370 0
/proc/2466/statm: 28282 363 304 221 0 87 0
[pid=2468] ppid=2466 vsize=15144776 memory=41148 CPUtime=0.34 cores=1,3,5,7
/proc/2468/stat : 2468 (java) S 2466 2466 32513 0 -1 1077944320 8996 0 0 0 32 2 0 0 20 0 15 0 443775736 15508250624 10287 33554432000 4194304 4196468 140721674848640 140721674831184 139717057908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
/proc/2468/statm: 3786194 10287 3302 1 0 3748377 0
[pid=2468/tid=2469] ppid=2466 vsize=15144776 memory=7022364632946311227 CPUtime=0.19 cores=1,3,5,7
/proc/2468/task/2469/stat : 2469 (java) R 2466 2466 32513 0 -1 4202560 6174 0 0 0 18 1 0 0 20 0 15 0 443775737 15508250624 10287 33554432000 4194304 4196468 140721674848640 139717062146288 139717057930301 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2470] ppid=2466 vsize=15144776 memory=4294976396 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2470/stat : 2470 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716969564816 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2471] ppid=2466 vsize=15144776 memory=139845995297344 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2471/stat : 2471 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716968512016 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2472] ppid=2466 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2472/stat : 2472 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716967459216 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2473] ppid=2466 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2473/stat : 2473 (java) S 2466 2466 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443775737 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716966406416 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2474] ppid=2466 vsize=15144776 memory=139845992003200 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2474/stat : 2474 (java) S 2466 2466 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443775739 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716526611312 139717057919618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2475] ppid=2466 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2475/stat : 2475 (java) S 2466 2466 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443775739 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716525557280 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2476] ppid=2466 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2476/stat : 2476 (java) S 2466 2466 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443775739 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716524504432 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2477] ppid=2466 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2477/stat : 2477 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443775742 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716523452752 139717057927067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2478] ppid=2466 vsize=15144776 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/2468/task/2478/stat : 2478 (java) S 2466 2466 32513 0 -1 1077944384 512 0 0 0 3 0 0 0 20 0 15 0 443775742 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716522400112 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2479] ppid=2466 vsize=15144776 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/2468/task/2479/stat : 2479 (java) S 2466 2466 32513 0 -1 1077944384 234 0 0 0 1 0 0 0 20 0 15 0 443775742 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716521347312 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2480] ppid=2466 vsize=15144776 memory=139845992003200 CPUtime=0.08 cores=1,3,5,7
/proc/2468/task/2480/stat : 2480 (java) S 2466 2466 32513 0 -1 1077944384 774 0 0 0 8 0 0 0 20 0 15 0 443775742 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716520294512 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2481] ppid=2466 vsize=15144776 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2481/stat : 2481 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443775742 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716519241952 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2482] ppid=2466 vsize=15144776 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2482/stat : 2482 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775742 15508250624 10287 33554432000 4194304 4196468 140721674848640 139716518190256 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 15257904 KiB
Current children cumulated memory: 42600 KiB
[startup+0.317419 s]*
/proc/loadavg: 8.58 8.73 7.82 6/232 2482
/proc/meminfo: memFree=31164476/32770624 swapFree=66997368/67108860
[pid=2466] ppid=2463 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2466/stat : 2466 (xcsp3-exec) S 2463 2466 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443775736 115843072 363 33554432000 4194304 5098028 140725385181024 140725385179128 139841478144636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18284544 140725385188219 140725385188461 140725385188461 140725385191370 0
/proc/2466/statm: 28282 363 304 221 0 87 0
[pid=2468] ppid=2466 vsize=15149032 memory=50612 CPUtime=0.54 cores=1,3,5,7
/proc/2468/stat : 2468 (java) S 2466 2466 32513 0 -1 1077944320 10475 0 0 0 51 3 0 0 20 0 15 0 443775736 15512608768 12653 33554432000 4194304 4196468 140721674848640 140721674831184 139717057908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
/proc/2468/statm: 3787258 12653 3360 1 0 3748377 0
[pid=2468/tid=2469] ppid=2466 vsize=15149032 memory=4026532047 CPUtime=0.3 cores=1,3,5,7
/proc/2468/task/2469/stat : 2469 (java) R 2466 2466 32513 0 -1 4202560 7440 0 0 0 28 2 0 0 20 0 15 0 443775737 15512608768 12653 33554432000 4194304 4196468 140721674848640 139717062140240 139717041988958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2470] ppid=2466 vsize=15149032 memory=9379 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2470/stat : 2470 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716969564816 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2471] ppid=2466 vsize=15149032 memory=3522811 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2471/stat : 2471 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716968512016 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2472] ppid=2466 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2472/stat : 2472 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775737 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716967459216 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2473] ppid=2466 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2473/stat : 2473 (java) S 2466 2466 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443775737 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716966406416 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2474] ppid=2466 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2474/stat : 2474 (java) S 2466 2466 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 443775739 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716526611312 139717057919618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2475] ppid=2466 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2475/stat : 2475 (java) S 2466 2466 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443775739 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716525557280 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2476] ppid=2466 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2476/stat : 2476 (java) S 2466 2466 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443775739 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716524504432 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2477] ppid=2466 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2477/stat : 2477 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443775742 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716523452752 139717057927067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2478] ppid=2466 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2468/task/2478/stat : 2478 (java) R 2466 2466 32513 0 -1 4202560 530 0 0 0 4 0 0 0 20 0 15 0 443775742 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716522400112 139717057920406 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2479] ppid=2466 vsize=15149032 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/2468/task/2479/stat : 2479 (java) R 2466 2466 32513 0 -1 1077944384 364 0 0 0 4 0 0 0 20 0 15 0 443775742 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716521347312 139717057919618 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2480] ppid=2466 vsize=15149032 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/2468/task/2480/stat : 2480 (java) R 2466 2466 32513 0 -1 1077944384 862 0 0 0 12 0 0 0 20 0 15 0 443775742 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716520294512 139717057919618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2481] ppid=2466 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2481/stat : 2481 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443775742 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716519241952 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2482] ppid=2466 vsize=15149032 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2482/stat : 2482 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443775742 15512608768 12653 33554432000 4194304 4196468 140721674848640 139716518190256 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
Current children cumulated CPU time: 0.54 s
Current children cumulated vsize: 15262160 KiB
Current children cumulated memory: 52064 KiB
[startup+0.700735 s]
/proc/loadavg: 8.58 8.73 7.82 8/232 2482
/proc/meminfo: memFree=31152404/32770624 swapFree=66997368/67108860
[pid=2466] ppid=2463 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2466/stat : 2466 (xcsp3-exec) S 2463 2466 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443775736 115843072 363 33554432000 4194304 5098028 140725385181024 140725385179128 139841478144636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18284544 140725385188219 140725385188461 140725385188461 140725385191370 0
/proc/2466/statm: 28282 363 304 221 0 87 0
[pid=2468] ppid=2466 vsize=15419460 memory=85732 CPUtime=1.47 cores=1,3,5,7
/proc/2468/stat : 2468 (java) S 2466 2466 32513 0 -1 1077944320 13742 0 0 0 142 5 0 0 20 0 19 0 443775736 15789527040 21433 33554432000 4194304 4196468 140721674848640 140721674831184 139717057908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
/proc/2468/statm: 3854865 21433 3451 1 0 3815965 0
[pid=2468/tid=2469] ppid=2466 vsize=15420484 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/2468/task/2469/stat : 2469 (java) S 2466 2466 32513 0 -1 1077944384 8927 0 0 0 63 3 0 0 20 0 19 0 443775737 15790575616 21433 33554432000 4194304 4196468 140721674848640 139717062149248 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2470] ppid=2466 vsize=15420484 memory=143 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2470/stat : 2470 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443775737 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716969564816 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2471] ppid=2466 vsize=15420484 memory=2 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2471/stat : 2471 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443775737 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716968512016 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2472] ppid=2466 vsize=15420484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2472/stat : 2472 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443775737 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716967459216 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2473] ppid=2466 vsize=15420484 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2473/stat : 2473 (java) S 2466 2466 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 19 0 443775737 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716966406416 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2474] ppid=2466 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2474/stat : 2474 (java) S 2466 2466 32513 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 19 0 443775739 15789527040 21433 33554432000 4194304 4196468 140721674848640 139716526611312 139717057919618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2475] ppid=2466 vsize=15420484 memory=3440 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2475/stat : 2475 (java) S 2466 2466 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 19 0 443775739 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716525557280 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2476] ppid=2466 vsize=15420484 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2476/stat : 2476 (java) S 2466 2466 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 19 0 443775739 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716524504432 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2477] ppid=2466 vsize=15420484 memory=342112 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2477/stat : 2477 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443775742 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716523452752 139717057927067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2478] ppid=2466 vsize=15420484 memory=1980 CPUtime=0.17 cores=1,3,5,7
/proc/2468/task/2478/stat : 2478 (java) S 2466 2466 32513 0 -1 1077944384 761 0 0 0 17 0 0 0 20 0 19 0 443775742 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716522400112 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2479] ppid=2466 vsize=15420484 memory=2512 CPUtime=0.17 cores=1,3,5,7
/proc/2468/task/2479/stat : 2479 (java) R 2466 2466 32513 0 -1 4202560 662 0 0 0 17 0 0 0 20 0 19 0 443775742 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716521338768 139717041121574 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2480] ppid=2466 vsize=15419460 memory=1436 CPUtime=0.41 cores=1,3,5,7
/proc/2468/task/2480/stat : 2480 (java) R 2466 2466 32513 0 -1 4202560 1852 0 0 0 41 0 0 0 20 0 19 0 443775742 15789527040 21433 33554432000 4194304 4196468 140721674848640 139716520294512 139717036846550 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2481] ppid=2466 vsize=15420484 memory=812 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2481/stat : 2481 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443775742 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716519241952 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2482] ppid=2466 vsize=15420484 memory=1764 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2482/stat : 2482 (java) S 2466 2466 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 19 0 443775742 15790575616 21433 33554432000 4194304 4196468 140721674848640 139716518190256 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
Current children cumulated CPU time: 1.47 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 87184 KiB
[startup+1.50237 s]
/proc/loadavg: 8.58 8.73 7.82 11/236 2486
/proc/meminfo: memFree=31113072/32770624 swapFree=66997368/67108860
[pid=2466] ppid=2463 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2466/stat : 2466 (xcsp3-exec) S 2463 2466 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443775736 115843072 363 33554432000 4194304 5098028 140725385181024 140725385179128 139841478144636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18284544 140725385188219 140725385188461 140725385188461 140725385191370 0
/proc/2466/statm: 28282 363 304 221 0 87 0
################
# More data... #
################
/proc/2468/task/2482/stat : 2482 (java) S 2466 2466 32513 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52590 33554432000 4194304 4196468 140721674848640 139716518190256 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2742] ppid=2466 vsize=15619152 memory=7233720402716485728 CPUtime=7.52 cores=1,3,5,7
/proc/2468/task/2742/stat : 2742 (java) R 2466 2466 32513 0 -1 4202560 336 0 0 0 752 0 0 0 20 0 19 0 443777373 15994011648 52590 33554432000 4194304 4196468 140721674848640 139716501610616 139716653066718 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2743] ppid=2466 vsize=15619152 memory=57281 CPUtime=7.62 cores=1,3,5,7
/proc/2468/task/2743/stat : 2743 (java) R 2466 2466 32513 0 -1 4202560 675 0 0 0 762 0 0 0 20 0 19 0 443777373 15994011648 52590 33554432000 4194304 4196468 140721674848640 139716504768736 139716653566288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2744] ppid=2466 vsize=15619152 memory=8097583624432937577 CPUtime=7.61 cores=1,3,5,7
/proc/2468/task/2744/stat : 2744 (java) R 2466 2466 32513 0 -1 4202560 190 0 0 0 761 0 0 0 20 0 19 0 443777373 15994011648 52590 33554432000 4194304 4196468 140721674848640 139716500560864 139716653067692 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2745] ppid=2466 vsize=15619152 memory=7740400709726191716 CPUtime=7.58 cores=1,3,5,7
/proc/2468/task/2745/stat : 2745 (java) R 2466 2466 32513 0 -1 4202560 480 0 0 0 758 0 0 0 20 0 19 0 443777373 15994011648 52590 33554432000 4194304 4196468 140721674848640 139716503716152 139716645432060 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
Current children cumulated CPU time: 93.21 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 211812 KiB
[startup+24.4008 s]
/proc/loadavg: 9.25 8.88 7.89 11/237 2745
/proc/meminfo: memFree=31001956/32770624 swapFree=66997368/67108860
[pid=2466] ppid=2463 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2466/stat : 2466 (xcsp3-exec) S 2463 2466 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443775736 115843072 363 33554432000 4194304 5098028 140725385181024 140725385179128 139841478144636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18284544 140725385188219 140725385188461 140725385188461 140725385191370 0
/proc/2466/statm: 28282 363 304 221 0 87 0
[pid=2468] ppid=2466 vsize=15619152 memory=208308 CPUtime=94.77 cores=1,3,5,7
/proc/2468/stat : 2468 (java) S 2466 2466 32513 0 -1 1077944320 58078 0 0 0 9461 16 0 0 20 0 19 0 443775736 15994011648 52077 33554432000 4194304 4196468 140721674848640 140721674831184 139717057908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
/proc/2468/statm: 3904788 52077 3531 1 0 3865888 0
[pid=2468/tid=2469] ppid=2466 vsize=15619152 memory=210360 CPUtime=0.68 cores=1,3,5,7
/proc/2468/task/2469/stat : 2469 (java) S 2466 2466 32513 0 -1 1077944384 9297 0 0 0 65 3 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139717062149248 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2470] ppid=2466 vsize=15619152 memory=1756 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2470/stat : 2470 (java) S 2466 2466 32513 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716969564816 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2471] ppid=2466 vsize=15619152 memory=1808 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2471/stat : 2471 (java) S 2466 2466 32513 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716968512016 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2472] ppid=2466 vsize=15619152 memory=920 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2472/stat : 2472 (java) S 2466 2466 32513 0 -1 1077944384 738 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716967459216 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2473] ppid=2466 vsize=15619152 memory=6036 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2473/stat : 2473 (java) S 2466 2466 32513 0 -1 1077944384 1213 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716966406416 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2474] ppid=2466 vsize=15619152 memory=14008 CPUtime=0.03 cores=1,3,5,7
/proc/2468/task/2474/stat : 2474 (java) S 2466 2466 32513 0 -1 1077944384 1282 0 0 0 2 1 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716526611312 139717057919618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2475] ppid=2466 vsize=15619152 memory=2124 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2475/stat : 2475 (java) S 2466 2466 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716525557344 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2476] ppid=2466 vsize=15619152 memory=25928 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2476/stat : 2476 (java) S 2466 2466 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716524504448 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2477] ppid=2466 vsize=15619152 memory=12024 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2477/stat : 2477 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716523452752 139717057927067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2478] ppid=2466 vsize=15619152 memory=500 CPUtime=3.57 cores=1,3,5,7
/proc/2468/task/2478/stat : 2478 (java) S 2466 2466 32513 0 -1 1077944384 10628 0 0 0 356 1 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716522400112 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2479] ppid=2466 vsize=15619152 memory=1560 CPUtime=3.6 cores=1,3,5,7
/proc/2468/task/2479/stat : 2479 (java) S 2466 2466 32513 0 -1 1077944384 15362 0 0 0 358 2 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716521347312 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2480] ppid=2466 vsize=15619152 memory=932 CPUtime=0.8 cores=1,3,5,7
/proc/2468/task/2480/stat : 2480 (java) S 2466 2466 32513 0 -1 1077944384 6659 0 0 0 79 1 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716520294512 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2481] ppid=2466 vsize=15619152 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2481/stat : 2481 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716519241952 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2482] ppid=2466 vsize=15619152 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2482/stat : 2482 (java) S 2466 2466 32513 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716518190256 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2742] ppid=2466 vsize=15619152 memory=3552 CPUtime=7.9 cores=1,3,5,7
/proc/2468/task/2742/stat : 2742 (java) R 2466 2466 32513 0 -1 4202560 336 0 0 0 790 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716501612656 139716651570471 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2743] ppid=2466 vsize=15619152 memory=1452 CPUtime=8.01 cores=1,3,5,7
/proc/2468/task/2743/stat : 2743 (java) R 2466 2466 32513 0 -1 4202560 675 0 0 0 801 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716504768784 139716652549162 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2744] ppid=2466 vsize=15619152 memory=342420 CPUtime=8 cores=1,3,5,7
/proc/2468/task/2744/stat : 2744 (java) R 2466 2466 32513 0 -1 4202560 194 0 0 0 800 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716500558232 139716653069826 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2745] ppid=2466 vsize=15619152 memory=1980 CPUtime=7.97 cores=1,3,5,7
/proc/2468/task/2745/stat : 2745 (java) R 2466 2466 32513 0 -1 4202560 509 0 0 0 797 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716503716200 139716650232281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
Current children cumulated CPU time: 94.77 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 209760 KiB
[startup+24.8095 s]
/proc/loadavg: 9.25 8.88 7.89 11/237 2745
/proc/meminfo: memFree=31001956/32770624 swapFree=66997368/67108860
[pid=2466] ppid=2463 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2466/stat : 2466 (xcsp3-exec) S 2463 2466 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443775736 115843072 363 33554432000 4194304 5098028 140725385181024 140725385179128 139841478144636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18284544 140725385188219 140725385188461 140725385188461 140725385191370 0
/proc/2466/statm: 28282 363 304 221 0 87 0
[pid=2468] ppid=2466 vsize=15619152 memory=208308 CPUtime=96.4 cores=1,3,5,7
/proc/2468/stat : 2468 (java) S 2466 2466 32513 0 -1 1077944320 58084 0 0 0 9624 16 0 0 20 0 19 0 443775736 15994011648 52077 33554432000 4194304 4196468 140721674848640 140721674831184 139717057908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
/proc/2468/statm: 3904788 52077 3531 1 0 3865888 0
[pid=2468/tid=2469] ppid=2466 vsize=15619152 memory=2012 CPUtime=0.68 cores=1,3,5,7
/proc/2468/task/2469/stat : 2469 (java) S 2466 2466 32513 0 -1 1077944384 9297 0 0 0 65 3 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139717062149248 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2470] ppid=2466 vsize=15619152 memory=8112282956445269571 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2470/stat : 2470 (java) S 2466 2466 32513 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716969564816 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2471] ppid=2466 vsize=15619152 memory=1436 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2471/stat : 2471 (java) S 2466 2466 32513 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716968512016 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2472] ppid=2466 vsize=15619152 memory=812 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2472/stat : 2472 (java) S 2466 2466 32513 0 -1 1077944384 738 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716967459216 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2473] ppid=2466 vsize=15619152 memory=1764 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2473/stat : 2473 (java) S 2466 2466 32513 0 -1 1077944384 1213 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716966406416 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2474] ppid=2466 vsize=15619152 memory=111628 CPUtime=0.03 cores=1,3,5,7
/proc/2468/task/2474/stat : 2474 (java) S 2466 2466 32513 0 -1 1077944384 1282 0 0 0 2 1 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716526611312 139717057919618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2475] ppid=2466 vsize=15619152 memory=796 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2475/stat : 2475 (java) S 2466 2466 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716525557344 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2476] ppid=2466 vsize=15619152 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2476/stat : 2476 (java) S 2466 2466 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716524504448 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2477] ppid=2466 vsize=15619152 memory=2920 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2477/stat : 2477 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716523452752 139717057927067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2478] ppid=2466 vsize=15619152 memory=1452 CPUtime=3.57 cores=1,3,5,7
/proc/2468/task/2478/stat : 2478 (java) S 2466 2466 32513 0 -1 1077944384 10630 0 0 0 356 1 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716522400112 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2479] ppid=2466 vsize=15619152 memory=8112282956445269571 CPUtime=3.6 cores=1,3,5,7
/proc/2468/task/2479/stat : 2479 (java) S 2466 2466 32513 0 -1 1077944384 15364 0 0 0 358 2 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716521347312 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2480] ppid=2466 vsize=15619152 memory=3028 CPUtime=0.8 cores=1,3,5,7
/proc/2468/task/2480/stat : 2480 (java) S 2466 2466 32513 0 -1 1077944384 6661 0 0 0 79 1 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716520294512 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2481] ppid=2466 vsize=15619152 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2481/stat : 2481 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716519241952 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2482] ppid=2466 vsize=15619152 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2482/stat : 2482 (java) S 2466 2466 32513 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716518190256 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2742] ppid=2466 vsize=15619152 memory=210360 CPUtime=8.3 cores=1,3,5,7
/proc/2468/task/2742/stat : 2742 (java) R 2466 2466 32513 0 -1 4202560 336 0 0 0 830 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716501612656 139716652610643 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2743] ppid=2466 vsize=15619152 memory=3992 CPUtime=8.42 cores=1,3,5,7
/proc/2468/task/2743/stat : 2743 (java) R 2466 2466 32513 0 -1 4202560 675 0 0 0 842 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716504768784 139716653566108 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2744] ppid=2466 vsize=15619152 memory=2828 CPUtime=8.41 cores=1,3,5,7
/proc/2468/task/2744/stat : 2744 (java) R 2466 2466 32513 0 -1 4202560 194 0 0 0 841 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716500558232 139716653749087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2745] ppid=2466 vsize=15619152 memory=676 CPUtime=8.38 cores=1,3,5,7
/proc/2468/task/2745/stat : 2745 (java) R 2466 2466 32513 0 -1 4202560 509 0 0 0 838 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716503716200 139716653745299 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
Current children cumulated CPU time: 96.4 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 209760 KiB
[startup+24.9045 s]
/proc/loadavg: 9.25 8.88 7.89 11/237 2745
/proc/meminfo: memFree=31001956/32770624 swapFree=66997368/67108860
[pid=2466] ppid=2463 vsize=113128 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2466/stat : 2466 (xcsp3-exec) S 2463 2466 32513 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 443775736 115843072 363 33554432000 4194304 5098028 140725385181024 140725385179128 139841478144636 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 0 0 0 7196144 7232144 18284544 140725385188219 140725385188461 140725385188461 140725385191370 0
/proc/2466/statm: 28282 363 304 221 0 87 0
[pid=2468] ppid=2466 vsize=15619152 memory=208308 CPUtime=96.78 cores=1,3,5,7
/proc/2468/stat : 2468 (java) S 2466 2466 32513 0 -1 1077944320 58084 0 0 0 9662 16 0 0 20 0 19 0 443775736 15994011648 52077 33554432000 4194304 4196468 140721674848640 140721674831184 139717057908471 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
/proc/2468/statm: 3904788 52077 3531 1 0 3865888 0
[pid=2468/tid=2469] ppid=2466 vsize=15619152 memory=208308 CPUtime=0.68 cores=1,3,5,7
/proc/2468/task/2469/stat : 2469 (java) S 2466 2466 32513 0 -1 1077944384 9297 0 0 0 65 3 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139717062149248 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2470] ppid=2466 vsize=15619152 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2470/stat : 2470 (java) S 2466 2466 32513 0 -1 1077944384 402 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716969564816 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2471] ppid=2466 vsize=15619152 memory=1452 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2471/stat : 2471 (java) S 2466 2466 32513 0 -1 1077944384 701 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716968512016 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2472] ppid=2466 vsize=15619152 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2472/stat : 2472 (java) S 2466 2466 32513 0 -1 1077944384 738 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716967459216 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2473] ppid=2466 vsize=15619152 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/2468/task/2473/stat : 2473 (java) S 2466 2466 32513 0 -1 1077944384 1213 0 0 0 2 0 0 0 20 0 19 0 443775737 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716966406416 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2474] ppid=2466 vsize=15619152 memory=360 CPUtime=0.03 cores=1,3,5,7
/proc/2468/task/2474/stat : 2474 (java) S 2466 2466 32513 0 -1 1077944384 1282 0 0 0 2 1 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716526611312 139717057919618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2475] ppid=2466 vsize=15619152 memory=80 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2475/stat : 2475 (java) S 2466 2466 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716525557344 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2476] ppid=2466 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2476/stat : 2476 (java) S 2466 2466 32513 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 19 0 443775739 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716524504448 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2477] ppid=2466 vsize=15619152 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2477/stat : 2477 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716523452752 139717057927067 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2478] ppid=2466 vsize=15619152 memory=1452 CPUtime=3.57 cores=1,3,5,7
/proc/2468/task/2478/stat : 2478 (java) S 2466 2466 32513 0 -1 1077944384 10630 0 0 0 356 1 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716522400112 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2479] ppid=2466 vsize=15619152 memory=224760 CPUtime=3.6 cores=1,3,5,7
/proc/2468/task/2479/stat : 2479 (java) S 2466 2466 32513 0 -1 1077944384 15364 0 0 0 358 2 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716521347312 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2480] ppid=2466 vsize=15619152 memory=1452 CPUtime=0.8 cores=1,3,5,7
/proc/2468/task/2480/stat : 2480 (java) S 2466 2466 32513 0 -1 1077944384 6661 0 0 0 79 1 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716520294512 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2481] ppid=2466 vsize=15619152 memory=227304 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2481/stat : 2481 (java) S 2466 2466 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716519241952 139717057918677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2482] ppid=2466 vsize=15619152 memory=1452 CPUtime=0 cores=1,3,5,7
/proc/2468/task/2482/stat : 2482 (java) S 2466 2466 32513 0 -1 1077944384 747 0 0 0 0 0 0 0 20 0 19 0 443775742 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716518190256 139717057919618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2742] ppid=2466 vsize=15619152 memory=228832 CPUtime=8.4 cores=1,3,5,7
/proc/2468/task/2742/stat : 2742 (java) R 2466 2466 32513 0 -1 4202560 336 0 0 0 840 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716501612656 139716654313905 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2743] ppid=2466 vsize=15619152 memory=8514701219781834910 CPUtime=8.51 cores=1,3,5,7
/proc/2468/task/2743/stat : 2743 (java) R 2466 2466 32513 0 -1 4202560 675 0 0 0 851 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716504768784 139716652549655 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2744] ppid=2466 vsize=15619152 memory=7897517683652307531 CPUtime=8.5 cores=1,3,5,7
/proc/2468/task/2744/stat : 2744 (java) R 2466 2466 32513 0 -1 4202560 194 0 0 0 850 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716500558232 139716651699772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
[pid=2468/tid=2745] ppid=2466 vsize=15619152 memory=3504 CPUtime=8.47 cores=1,3,5,7
/proc/2468/task/2745/stat : 2745 (java) R 2466 2466 32513 0 -1 4202560 509 0 0 0 847 0 0 0 20 0 19 0 443777373 15994011648 52077 33554432000 4194304 4196468 140721674848640 139716503716200 139716654395059 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35102720 140721674855407 140721674855578 140721674855578 140721674858447 0
Current children cumulated CPU time: 96.78 s
Current children cumulated vsize: 15732280 KiB
Current children cumulated memory: 209760 KiB
Child status: 0
Real time (s): 24.9368
CPU time (s): 96.8573
CPU user time (s): 96.6898
CPU system time (s): 0.167417
CPU usage (%): 388.411
Max. virtual memory (cumulated for all children) (KiB): 15732280
Max. memory (cumulated for all children) (KiB): 235756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 96.6898
system time used= 0.167417
maximum resident set size= 234448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 59592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5850
involuntary context switches= 2559
# summary of solver processes directly reported to runsolver:
# pid: 2466
# total CPU time (s): 96.8573
# total CPU user time (s): 96.6898
# total CPU system time (s): 0.167417
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.170764 second user time and 0.329952 second system time
The end